Purescript is Haskell without cruft and built for the web era. Idris or agda for... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

Benjmhart on Aug 21, 2020 | parent | context | favorite | on: An Anecdote About ML Type Inference (1994)

Purescript is Haskell without cruft and built for the web era.

Idris or agda for type level goodies.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact