| .. | | |
| generate-builtins.sh | numbl web IDE: run .m files in the browser with numbl | |
| live-check.mjs | Add live-check script for the deployed site | |
| smoke.mjs | mip integration: system store in IndexedDB, shared across projects | |
| typecheck.sh | numbl web IDE: run .m files in the browser with numbl | |