| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2026-09-25 | dune fmt | Marcos Magueta | 1 | -7/+5 | |
| 2026-09-18 | make substantial relation use merkle.interface | Marcos Magueta | 1 | -4/+3 | |
| 2026-09-13 | fol evaluator | Marcos Magueta | 1 | -20/+31 | |
| 2026-09-13 | appropriate enumeration for tuple split on object and resident | Marcos Magueta | 1 | -1/+1 | |
| 2026-09-03 | Substantial relation kernel object | Marcos Magueta | 1 | -0/+44 | |
 |
index : RNT | |
| git repositories |
| aboutsummaryrefslogtreecommitdiffstats |