| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | ocaml re-migration | Marcos Magueta | 2026-03-05 | 1 | -326/+0 |
| * | Fix comparison relation order, rebranding & roadmap (#50) | Marcos Magueta | 2026-02-06 | 1 | -5/+5 |
| * | Ephemeral relations, Refactor & Cleanup (#34) | Marcos Magueta | 2025-12-14 | 1 | -25/+24 |
| * | Infinite domains and membership rework (#22) | Marcos Magueta | 2025-12-04 | 1 | -26/+20 |
| * | XML Server (#16) | Marcos Magueta | 2025-11-28 | 1 | -1/+1 |
| * | Pseudo-REPL and sketch planner (#12) | Marcos Magueta | 2025-11-25 | 1 | -0/+333 |
