docs.yml · Pipeline 3mzbio5uspg22 · 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

0/5 10m 13s · 1w ago

bootstrap.yml 1w ago

nightly.yml 1w ago

pre-commit.yml 1w ago

test.yml 1w ago

Context canceled.

Waiting for the spindle