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
b1b0a383
2/5 24m 15s ·
bootstrap.yml
Failed
7m 25s
docs.yml
Passed
2m 20s
nightly.yml
Failed
4m 51s
pre-commit.yml
Passed
7m 7s
User step error: exited with code 1.
Waiting for the spindle