|
main
Default
|
349ae490
|
docs: move the Nix install block from README into nix.md (#76)
|
|
|
fix/typecheck-test-mocks
|
11b63d90
|
test: fix 6 pre-existing typecheck errors so `npm run typecheck` is clean
|
|
|
reboot/lean-pty-core-cutover
|
51c2cd1c
|
lean-core: gc clean-only + delete pty up/down + trim GcResult; bump 0.12.0
|
|
|
chore/migrate-coord-to-st
|
60ae9921
|
chore(mcp): migrate to st (Phase 4 of coord→smalltalk/st rename)
|
|
|
nix-flake
|
bcf9fc3e
|
Run CI on linux
|
|
|
web-frontend
|
2902b16f
|
Mobile keyboard support, touch scrolling, and web server improvements
|
|