The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project.