aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocols/Program.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* ephemeral relations as outputs of FOL and program overhaulMarcos Magueta2026-09-261-16/+0
|
* dune fmtMarcos Magueta2026-09-251-1/+0
|
* WIP forsake contextEstevan Castilho2026-09-171-5/+2
|
* fol evaluatorMarcos Magueta2026-09-131-14/+17
|
* evaluator and program protocolsMarcos Magueta2026-09-111-0/+17