alpha
Login
Join now
anders.sorby.xyz
/
monad
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project.
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
monad
/
scripts
9 files
at
main
Anders Christiansen Sørby
·
proofs: add the proofs mote and gate it in the test sweep
·
2w ago
1aefb49e
bootstrap-compile.sh
ci: call the step scripts in the dev shell so their output is shown
2w ago
check-commit-msg.sh
ci: add devenv-based GitHub Actions workflow running full test suite
1mo ago
check-docs.sh
lang: \u{...} escapes, dotted instance names, and an empty syntax table
2w ago
check-monad-tests.sh
proofs: add the proofs mote and gate it in the test sweep
2w ago
debug-oracle.sh
ci: call the step scripts in the dev shell so their output is shown
2w ago
mark-cross-mote-exports-pub.py
lang/scope: enforce priv, and warn on cross-mote package-private
3w ago
migrate-use-separator.py
lang/parser: use `::` in use paths, and `lib::` within a mote
3w ago
monadup
ci: add monadup nightly install script and shellcheck hook
1mo ago
nightly-release.sh
ci: call the step scripts in the dev shell so their output is shown
2w ago
