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
38e27906
3/5 51m 57s ·
bootstrap.yml
Failed
5m 40s
docs.yml
Passed
11m 54s
pre-commit.yml
Passed
7m 17s
test.yml
Timed out
14m 59s
Waiting for the spindle