Liquid Haskell is an extension to Haskell to provide via logic what Idris has in its type system (via dependent types): a way to provide more precise properties to programs, including totality.
Liquid Haskell is an extension to Haskell to provide via logic what Idris has in its type system (via dependent types): a way to provide more precise properties to programs, including totality.