A small strongly typed programming language with expressive types that
compiles to JavaScript, written in and inspired by Haskell.

Homepage:
https://www.purescript.org/
