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