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
e96b18ae
2/4 45m 6s ·
bootstrap.yml
Failed
9m 44s
nightly.yml
Passed
11m 43s
test.yml
Timed out
15m
Waiting for the spindle