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
de1329c9
2/5 12m 58s ·
docs.yml
Passed
1m 37s
nightly.yml
Failed
2m 10s
pre-commit.yml
Passed
4m 23s
test.yml
Failed
1m 58s
User step error: exited with code 1.
Waiting for the spindle