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
6a59e090
3/5 44m 37s ·
docs.yml
Passed
5m 36s
nightly.yml
Passed
2m 34s
pre-commit.yml
Passed
9m 39s
test.yml
Timed out
14m 59s
User step error:.
guest out of memory (process 'monad-rs' killed by guest kernel OOM)
Waiting for the spindle