summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics/algol_if_3
ModeNameSize
-rw-r--r--common.py2115logplain
-rw-r--r--en.py496logplain