Another two relatively popular languages implemented in Haskell are Idris and Agda.
https://github.com/facebook/reason
Another two relatively popular languages implemented in Haskell are Idris and Agda.