3 ms·
Sounds like you want Eager Haskell.
by Tyr42 9y ago
Sounds like you want Eager Haskell.
- daww 9y agoyes please
- piinbinary 9y agoIdris is basically an eager-evaluated Haskell, with other niceties on top (dependent types if you want them; fixed String type)