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