aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocols/Evaluator.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* drop journal in favor of local branch historyMarcos Magueta2026-10-071-2/+2
|
* ephemeral relations as outputs of FOL and program overhaulMarcos Magueta2026-09-261-0/+11
|
* rework on tuple non resident object with schematics as protocolMarcos Magueta2026-09-131-12/+0
|
* evaluator and program protocolsMarcos Magueta2026-09-111-0/+12