summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics/algol_for_3
ModeNameSize
-rw-r--r--common.py2392logplain
-rw-r--r--en.py483logplain