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
monad runtime src
10 files
lib.mo
natives.mo
platform_posix.c
platform_wasi.c
platform_web.c
runtime_abi.h
runtime_core.c
runtime_libc.c
runtime_posix_prelude.h
runtime.c