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