Merge branch 'fix-negativeRisk' into 'master'

[fix] Fixes the refinement type on Risk for Exp4R to be negative

See merge request !8
6 jobs for v0.11 in 33 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Source
passed #79492
kvm nix
make:hlint

00:00:03

passed #79491
kvm nix
make:ormolu

00:00:04

passed #79493
kvm nix
make:shellcheck

00:00:02

 
  Build
passed #79496
kvm nix
make:doc

00:00:12

passed #79495
kvm nix
make:readme

00:00:01

passed #79494
kvm nix
nix:package

00:00:26