anders.sorby.xyz / monad
The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project.
Star
Fork 0
Watch
monad init src math.mo
66 B · 3 lines
at main