aboutsummaryrefslogtreecommitdiffstats
path: root/lib/evaluators/FOL.ml (unfollow)
Commit message (Expand)AuthorFilesLines
11 daysForsake `fmap`Estevan Castilho1-4/+4
11 days`fold_left` -> `foldm_right`Estevan Castilho1-1/+1
2026-10-12temporary handle instead of type description everywhereMarcos Magueta1-1/+1
2026-10-12relation scan with enumerable and releaseMarcos Magueta1-7/+2
2026-10-12result fold leftMarcos Magueta1-3/+2
2026-10-12abstracting headers and merkle of list constructionMarcos Magueta1-10/+1
2026-10-11tests and some pointer for program on ephemeralMarcos Magueta1-9/+2
2026-10-10invoke foreign programMarcos Magueta1-10/+8
2026-10-10fol fix plan program instead of stored ephemeral relMarcos Magueta1-33/+21
2026-10-09programs as invokable imagesMarcos Magueta1-17/+8
2026-10-08purge schema in favor of simple namespaceMarcos Magueta1-9/+5
2026-10-07scope and source for evaluatorsMarcos Magueta1-6/+7
2026-10-07drop journal in favor of local branch historyMarcos Magueta1-4/+16
2026-10-01FOL program encoding and decodingMarcos Magueta1-2/+81
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