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
518f7a82
0/5 10m 13s ·
bootstrap.yml
Failed
2m 33s
docs.yml
Failed
nightly.yml
Failed
2m 33s
test.yml
Failed
2m 33s
User step error:.
guest agent connection lost: read agent message: read vsock host(2):10241->vm(17):3089231554: connection reset by peer
Waiting for the spindle