lsp 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
residuation: open membership returns residual constraints2026-07-12T01:12:53+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T01:12:53+00:000886f3c71cf8551e4f8b3726654003a4f29645f0
negation, quantifiers and membership criteria as schema domains2026-07-11T06:15:25+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-11T06:15:25+00:0040376c3ea009eab4db9ba27837e61d8bec310b8f
working vm: parser, admission with totality checks, solver and repl2026-07-11T06:07:56+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-11T06:07:56+00:00c530682030e80ee2de2c263471e5eda7a3392e84