summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--LICENSE1451logplain
-rw-r--r--Setup.lhs139logplain
-rw-r--r--TheoremQuest.hs158logplain
d---------TheoremQuest79logplain
-rw-r--r--theoremquest.cabal791logplain