3 ms·
Liquid Haskell is probably the closest to Idris in its goals: https://wiki.haskell.org/Liquid_Haskell https://wiki.haskell.org/Liquid_Haskell
by nickpsecurity 8y ago
Liquid Haskell is probably the closest to Idris in its goals:
https://wiki.haskell.org/Liquid_Haskell https://wiki.haskell.org/Liquid_Haskell