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

Branches

main Default
f6caa1b0 ·