pre-commit.yml · Pipeline 3mztf7rmbba22 · monad-lang.org/monad · Blacksky Forge

The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project. monad-lang.org

dependent-types language compiler programming-language functional-programming

1/5 59m 18s · 4d ago

bootstrap.yml 4d ago

docs.yml 4d ago

nightly.yml 4d ago

test.yml 4d ago

Waiting for the spindle