| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2026-09-25 | dune fmt | Marcos Magueta | 1 | -1/+0 | |
| 2026-09-17 | WIP forsake context | Estevan Castilho | 1 | -9/+2 | |
| 2026-09-13 | fol evaluator | Marcos Magueta | 1 | -17/+19 | |
| 2026-09-11 | evaluator and program protocols | Marcos Magueta | 1 | -0/+21 | |
 |
index : RNT | |
| git repositories |
| aboutsummaryrefslogtreecommitdiffstats |