SOL -

	Commit message (Expand)	Author	Files	Lines
2026-07-12	lsp gains hover, definition and completion from a text-level symbol scan	Marcos Magueta	1	-0/+3
2026-07-11	working vm: parser, admission with totality checks, solver and repl	Marcos Magueta	1	-0/+29