| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2026-10-07 | scope and source for evaluators | Marcos Magueta | 1 | -6/+7 |
| 2026-10-07 | drop journal in favor of local branch history | Marcos Magueta | 1 | -4/+16 |
| 2026-10-01 | FOL program encoding and decoding | Marcos Magueta | 1 | -2/+81 |
| 2026-09-26 | ephemeral relations as outputs of FOL and program overhaul | Marcos Magueta | 1 | -13/+105 |
| 2026-09-25 | dune fmt | Marcos Magueta | 1 | -16/+14 |
| 2026-09-24 | Make objects printable | Estevan Castilho | 1 | -0/+2 |
| 2026-09-17 | WIP forsake context | Estevan Castilho | 1 | -3/+3 |
| 2026-09-17 | Use handles as reference points | Estevan Castilho | 1 | -14/+12 |
| 2026-09-13 | fol evaluator | Marcos Magueta | 1 | -0/+40 |
 |
index : RNT | |
| git repositories |
| aboutsummaryrefslogtreecommitdiffstats |