aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocols/Program.mli (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-09-17WIP forsake contextEstevan Castilho1-9/+2
2026-09-13fol evaluatorMarcos Magueta1-17/+19
2026-09-11evaluator and program protocolsMarcos Magueta1-0/+21