SOL -

	Commit message (Collapse)	Author	Age	Files	Lines
*	core design and pipeline document	Marcos Magueta	2026-07-11	2	-10/+142
\|
*	embedding surface, host world test, deep recursion, line tracking	Marcos Magueta	2026-07-11	7	-6/+136
\|
*	negation, quantifiers and membership criteria as schema domains	Marcos Magueta	2026-07-11	11	-79/+510
\|
*	working vm: parser, admission with totality checks, solver and repl	Marcos Magueta	2026-07-11	21	-2/+1631
\|
*	lock nixpkgs and generated opam metadata	Marcos Magueta	2026-07-11	1	-0/+27
\|
*	canonical term algebra: labels, records, rationals, sequences	Marcos Magueta	2026-07-11	8	-0/+405
\|
*	nix flake with dune and rocq development environment	Marcos Magueta	2026-07-11	4	-0/+121
\|
*	implementation language decision: ocaml with rocq extraction	Marcos Magueta	2026-07-11	1	-0/+26
\|
*	sakura + RNT integration document with decisions from planning	Marcos Magueta	2026-07-11	1	-0/+722
\|
*	language specification document	Marcos Magueta	2026-07-11	1	-0/+1336
\|
*	readme ported from test project	Marcos Magueta	2026-07-11	1	-0/+176