Nathan Waivio

icon location Tucson Area icon location I am an engineer with interest in Haskell and Clifford Algebra.

Results 2 issues of Nathan Waivio

Several Issues when trying to use LiquidHaskell: unknown constant e-14 and stack overflow

10 comment

My whole goal is to verify that some my usage of sqrt could be confirmed to be within the domain of the function like: {-@ sqrt :: {v:Double | 0...

GHC-9.0 Support and Semigroup-Monoid Compatability

1 comment

Not sure if this lib is actively maintained but, here is updates for GHC-9.0 Support and some previous Semigroup-Monoid Compatibility changes. The library compiles fine and the benchmarks seem to...