SOL/lib, branch masterlsp gains hover, definition and completion from a text-level symbol scan2026-07-12T21:43:23+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T21:43:23+00:0019ba625e0345a88da6c29ab91a3ba2d7a8462065
language 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
relation references as a term kind, written #Name2026-07-12T20:56:11+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T20:55:27+00:00b4a2485afbf74e99e2147086fbca0568b7e2b7b8
branch world: state scoped reads, insert transitions, tip commit2026-07-12T20:56:10+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T13:11:38+00:00f52efd20120cf5ceeae28da2c04d57acc6e46f14
lexicographic order proven well founded, checker extracted and verifying admission2026-07-12T20:56:10+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T13:07:23+00:00e56efc19f71898d798c44b5955fe74451ee0fc6f
algebraic identities of plus and times discharge symbolically2026-07-12T20:56:10+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T12:59:59+00:00e92c8e00290bab8db328058c437b471c0f1671a4
symbolic discharge: universals over infinite domains decided by intervals2026-07-12T03:35:33+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T03:35:33+00:007aacf596d73cc74eb9af381a72723b50b4069e30
mutual recursion admitted under lexicographic measures2026-07-12T02:39:40+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T02:39:40+00:00726f3dfb116ec9265041e642000612831633fe3c
world relation as the universe for scoped negation2026-07-12T01:13:33+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T01:13:33+00:005d967951eb0b08c36ee59f70d7f4cca37b0ca72b