liquid haskell (refinement types) is similar to F* https://www.fstar-lang.org/ https://www.fstar-lang.org/ which exports code to .Net (and OCaml) I think beca

liquid haskell (refinement types) is similar to F* https://www.fstar-lang.org/ https://www.fstar-lang.org/ which exports code to .Net (and OCaml) I think because Code Contracts are not utiling any form of Dependent Types (i.e. refinement types), there is only so much that it can statically check/enforce. Refinement Types can go much farther, and their whole utility is in static checks, not runtime checks/unit tests.