4 ms·
Liquid Haskell is much closer to contracts than Idris, if you haven't heard of that already. I'm interesting in exploring contracts independently of types, thou
by hwayne 4y ago
Liquid Haskell is much closer to contracts than Idris, if you haven't heard of that already. I'm interesting in exploring contracts independently of types, though.
- zeckalpha 4y agoI have, but Idris feels much more like a dynamically typed language. Just pretend they are saying contract when they say type.