3 ms·

Haskell is pretty common for this. See purescript, elm, agda, idris. There are more here: https://wiki.haskell.org/Applications_and_libraries/Compilers_and_in

by bjt 8y ago

Haskell is pretty common for this. See purescript, elm, agda, idris. There are more here: https://wiki.haskell.org/Applications_and_libraries/Compilers_and_interpreters https://wiki.haskell.org/Applications_and_libraries/Compiler...