[ReleaseCandidat]

No, as there are all/most/some (Haskell, OCaml, Purescript, Idris, Coq, ...) functinal languages. Lambdania would be a possibility. Although Prolog and Forth are located there too.