Sign in
Join now
monad
anders.sorby.xyz
/
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.
forked from
monad-lang.org/monad
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
monad
/
scripts
9 files
at
main
anders.sorby.xyz
·
proofs: add the proofs mote and gate it in the test sweep
·
1mo ago
1aefb49e
bootstrap-compile.sh
ci: call the step scripts in the dev shell so their output is shown
1mo ago
check-commit-msg.sh
ci: add devenv-based GitHub Actions workflow running full test suite
2mo ago
check-docs.sh
lang: \u{...} escapes, dotted instance names, and an empty syntax table
1mo ago
check-monad-tests.sh
proofs: add the proofs mote and gate it in the test sweep
1mo ago
debug-oracle.sh
ci: call the step scripts in the dev shell so their output is shown
1mo ago
mark-cross-mote-exports-pub.py
lang/scope: enforce priv, and warn on cross-mote package-private
1mo ago
migrate-use-separator.py
lang/parser: use `::` in use paths, and `lib::` within a mote
1mo 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
1mo ago
