aboutsummaryrefslogtreecommitdiffstats
path: root/lib/term.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* relation references as a term kind, written #NameMarcos Magueta2026-07-121-0/+15
|
* canonical term algebra: labels, records, rationals, sequencesMarcos Magueta2026-07-111-0/+113