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 7
Fork 1
Watch
julian.click

Starred

ellis.rocks

Starred

anders.sorby.xyz

Starred

oppi.li

Starred

monad-lang.org

Starred

okk.moe

Starred

energi.observer

Starred