scripts/lib · monad · Tangled

The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project. monad-lang.org

dependent-types language compiler programming-language functional-programming

monad scripts lib

3 files

anders.sorby.xyz · ci: a nightly matrix, and one release job · 4w ago

bootstrap-dir.sh

toolchain: key the cache by file, and make `use` lines mean what they say

platform-label.sh

ci: a nightly matrix, and one release job

scripts: raise the stack in a descending ladder, and share the one definition