aboutsummaryrefslogtreecommitdiffstats
path: root/subsystem/karuta/Translator.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2026-10-24abstract translator so the program term uses the same shape as tupleMarcos Magueta1-7/+11
2026-10-24proper beam evaluatorMarcos Magueta1-16/+3
2026-10-24translator for karuta subsystemMarcos Magueta1-0/+116