Hacker News new | ask | show | jobs
by Benjmhart 2125 days ago
Purescript is Haskell without cruft and built for the web era.

Idris or agda for type level goodies.