3 ms·
> Is there a Haskell extension like Idris's totality checking? There's LiquidHaskell https://ucsd-progsys.github.io/liquidhaskell-blog/ https://ucsd-progsys.gi
by ghostwriter 7y ago
> Is there a Haskell extension like Idris's totality checking?
There's LiquidHaskell https://ucsd-progsys.github.io/liquidhaskell-blog/ https://ucsd-progsys.github.io/liquidhaskell-blog/