A purely functional programming language, similar to Haskell programming language.
http://www.cs.kun.nl/~clean/