aboutsummaryrefslogtreecommitdiffstats
path: root/test/unit/evaluators/Lambda.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* make substantial relation use merkle.interfaceMarcos Magueta2026-09-181-1/+1
* fix lambda test and executeMarcos Magueta2026-09-181-5/+13
* lambda latinMarcos Magueta2026-09-131-0/+142