aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocols/Evaluator.mli (unfollow)
Commit message (Expand)AuthorFilesLines
2026-09-26ephemeral relations as outputs of FOL and program overhaulMarcos Magueta1-2/+2
2026-09-25dune fmtMarcos Magueta1-2/+0
2026-09-17WIP forsake contextEstevan Castilho1-3/+2
2026-09-11enumerable protocolMarcos Magueta1-0/+13