summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--LICENSE1522logplain
d---------Proof125logplain
-rw-r--r--Setup.hs46logplain
-rw-r--r--equational-reasoning.cabal1737logplain