Lojban the dependently typed functional programming language
Primary LanguageHaskell
See the blog post.