cli/src · monad · Tangled

anders.sorby.xyz / monad

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

1 folder · 3 files

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

lang/mote: resolve check, test and compile from the mote root

lang/parser: use `::` in use paths, and `lib::` within a mote

lang/parser: use `::` in use paths, and `lib::` within a mote

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