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
Push to main
2fa0a4dc
1/4 24m 51s ·
bootstrap.yml
Failed
7m 53s
nightly.yml
Failed
5m 38s
test.yml
Failed
3m 38s
Waiting for the spindle