3 ms·
Purescript is Haskell without cruft and built for the web era. Idris or agda for type level goodies.
by Benjmhart 6y ago
Purescript is Haskell without cruft and built for the web era.
Idris or agda for type level goodies.
loading thread…
3 ms·