aboutsummaryrefslogtreecommitdiffstats
path: root/subsystem/karuta/Translator.ml (unfollow)
Commit message (Collapse)AuthorFilesLines
12 daysabstract translator so the program term uses the same shape as tupleMarcos Magueta1-7/+11
12 daysproper beam evaluatorMarcos Magueta1-16/+3
13 daystranslator for karuta subsystemMarcos Magueta1-0/+116