aboutsummaryrefslogtreecommitdiffstats
path: root/lib/evaluators/Lambda.ml (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-09-26ephemeral relations as outputs of FOL and program overhaulMarcos Magueta1-105/+0
2026-09-25dune fmtMarcos Magueta1-33/+30
2026-09-24Make objects printableEstevan Castilho1-0/+3
2026-09-18fix lambda test and executeMarcos Magueta1-3/+5
2026-09-17WIP forsake contextEstevan Castilho1-42/+55
2026-09-13lambda latinMarcos Magueta1-0/+90