ParentFull threadpera·Was Elm originally implemented in OCaml? I thought it was Haskell.Another two relatively popular languages implemented in Haskell are Idris and Agda.View on HN