Monad Language

@monad-lang.org Created a new post about recent progress pckt.blog/b/monad-dev-...

Comment on this post to appear on my Blento! https://blento.app/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...