| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2026-09-24 | tests for the constraint system | Marcos Magueta | 1 | -0/+88 | |
| 2026-09-23 | fix tests | Marcos Magueta | 2 | -8/+4 | |
| 2026-09-18 | make substantial relation use merkle.interface | Marcos Magueta | 2 | -4/+2 | |
| 2026-09-18 | substantial relation context removal and test fix | Marcos Magueta | 1 | -4/+9 | |
| 2026-09-18 | fix lambda test and execute | Marcos Magueta | 1 | -5/+13 | |
| 2026-09-13 | lambda latin | Marcos Magueta | 1 | -0/+142 | |
| 2026-09-13 | fol evaluator | Marcos Magueta | 1 | -0/+71 | |
 |
index : RNT | |
| git repositories |
| aboutsummaryrefslogtreecommitdiffstats |