5 ms·
Do you think there's any hope of Haskell community moving to Idris? It's years since I did either but I think Idris is just a Better Haskell without several of
by 3np 6y ago
Do you think there's any hope of Haskell community moving to Idris? It's years since I did either but I think Idris is just a Better Haskell without several of the issues brought up.
- lupire 6y agoFor small programs, but not in general. Haskell has too many more language features and libraries.