The Monad language. Dependent types, functional programming in a rust environment. Hobby project.
monad-lang.org
dependent-types
language
compiler
programming-language
functional-programming
Starred by
anders.sorby.xyz
starred 1 month ago
oppi.li
starred 1 month ago
monad-lang.org
starred 1 month ago
fizzylimesoda.nya.je
starred 1 month ago
okk.moe
starred 1 month ago
energi.observer
starred 1 month ago