summaryrefslogtreecommitdiff
path: root/src/CatTheory
ModeNameSize
d---------Exercise1 / Contradiction40logplain