summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics/prog_listswap_2/sl.py
AgeCommit message (Expand)Author
2016-05-22Denotational semantics, part #1: tests and translations added.Aleksander Sadikov