SOL -

	Commit message (Collapse)	Author	Files	Lines
2026-07-12	repl output drops uninformative self bindings	Marcos Magueta	1	-1/+9

2026-07-12	repl session commands: load, reset, quit; emacs load-file binding	Marcos Magueta	1	-16/+64

2026-07-12	lsp gains hover, definition and completion from a text-level symbol scan	Marcos Magueta	1	-19/+307

2026-07-12	language server over stdio, emacs mode with repl and eglot wiring	Marcos Magueta	3	-2/+171

2026-07-11	residuation: open membership returns residual constraints	Marcos Magueta	1	-10/+10

2026-07-11	negation, quantifiers and membership criteria as schema domains	Marcos Magueta	1	-2/+2

2026-07-11	working vm: parser, admission with totality checks, solver and repl	Marcos Magueta	2	-0/+83