monad
The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project. monad-lang.org
dependent-types language compiler programming-language functional-programming
Star 7
Fork 1
Watch
monad cli src
1 folder · 3 files
tests
cli_spec.mo
cli.mo
main.mo