Re:Haskell: The Bad Parts, part 2 (2020)
by 3np on Tuesday February 09, 2021 @10:32AM
(#26078605)
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.
[ Parent
| on HN ]