Hacker News new | ask | show | jobs
by BoingBoomTschak 538 days ago
Maybe I'm completely wrong (as an outside than never touched anything ML other than OCaml), but Idris 2 does seem like a "clean Haskell" minus the laziness.