summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics
ModeNameSize
d---------algol_370logplain
d---------algol_for_370logplain
d---------algol_if_370logplain
-rw-r--r--common.py20logplain
-rw-r--r--en.py43logplain
d---------prog_8puzzle_270logplain
d---------prog_8puzzle_370logplain
d---------prog_listswap_270logplain
d---------prog_listswap_370logplain
-rw-r--r--sl.py49logplain