aboutsummaryrefslogtreecommitdiffstats
path: root/lib/evaluators/FOL.ml (unfollow)
Commit message (Expand)AuthorFilesLines
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