aboutsummaryrefslogtreecommitdiffstats
path: root/lib/evaluators/FOL.ml (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-09-26ephemeral relations as outputs of FOL and program overhaulMarcos Magueta1-13/+105
2026-09-25dune fmtMarcos Magueta1-16/+14
2026-09-24Make objects printableEstevan Castilho1-0/+2
2026-09-17WIP forsake contextEstevan Castilho1-3/+3
2026-09-17Use handles as reference pointsEstevan Castilho1-14/+12
2026-09-13fol evaluatorMarcos Magueta1-0/+40