SOL/README.org, branch masterlanguage server over stdio, emacs mode with repl and eglot wiring2026-07-12T21:27:44+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T21:27:44+00:0027e9ddee53b8fa43725f951434404691d8012190
package build carries menhir and rocq, docs completeness pass2026-07-12T21:15:31+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T21:15:31+00:00257f5288a486740187e44b6ef4cadaad7166930e
interval characterization proofs and worked examples2026-07-12T20:56:11+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T13:20:13+00:00b7ab0a9d1f0275db32a526faf7cffe9d520b15c8
decision 14: no application in term position, spec example rewritten flat2026-07-12T04:06:21+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T04:06:21+00:00c3b4c7aee1f0d4beb078938d330e982e752927a1
core design and pipeline document2026-07-12T00:55:18+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T00:55:18+00:00e4c9579b02951e9edd84c4dae4bf10cfdc5953dc
embedding surface, host world test, deep recursion, line tracking2026-07-11T06:17:10+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-11T06:17:10+00:00eb81c07047979f3fe53383ff2a42393f0b29bd28
readme ported from test project2026-07-11T05:35:37+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-11T05:35:37+00:00acf837b4500e15caae2d920e49113a3bf6cb45d8