SOL/lib/term.mli, branch master relation references as a term kind, written #Name 2026-07-12T20:56:11+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-07-12T20:55:27+00:00 b4a2485afbf74e99e2147086fbca0568b7e2b7b8 






canonical term algebra: labels, records, rationals, sequences
2026-07-11T05:52:25+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-07-11T05:52:25+00:00

f7aa2d28053979f33d90a3c7bdec1ff6daa49b94