iiinova — where your digital self keeps evolving

Monad Language

@monad-lang.org

The monad programming language. monad-lang.org

Monad has gotten an updated website! You can also download the latest nightly build using monadup. monad-lang.org

A new version of Monad is out. v0.1.2 supports quantitative types, experiments with compilation to LLVM IR and many improvements. monad-lang.org

Alpha version 0.1.0 of the Monad language has been released. Monad provides dependent types in a Rust context. github.com/monad-lang/m...