cli · monad · Tangled

anders.sorby.xyz / monad

The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project.

1 folder · 1 file

Anders Christiansen Sørby · cli/test: delete the gap registries, and fix set -e dropping the check phase · 2w ago

cli/test: delete the gap registries, and fix set -e dropping the check phase

lang/module: actually enforce priv, and default motes to 0.1.0