monad-lang.org / 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
Fork 1
Watch

docs: Update documentation with new features master
Author Anders Christiansen Sørby Date Commit bc29dfe5 Parent c2d33ad2