SOL -

	Commit message (Collapse)	Author	Age	Files	Lines
*	repl session commands: load, reset, quit; emacs load-file binding	Marcos Magueta	2026-07-12	1	-16/+64
\|
*	language server over stdio, emacs mode with repl and eglot wiring	Marcos Magueta	2026-07-12	1	-1/+3
\|
*	residuation: open membership returns residual constraints	Marcos Magueta	2026-07-11	1	-10/+10
\|
*	negation, quantifiers and membership criteria as schema domains	Marcos Magueta	2026-07-11	1	-2/+2
\|
*	working vm: parser, admission with totality checks, solver and repl	Marcos Magueta	2026-07-11	1	-0/+79