aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore35logplain
-rw-r--r--LICENSE1055logplain
-rw-r--r--functorproof.txt616logplain
d---------src69logplain
-rw-r--r--test.txt376logplain
-rw-r--r--verify-hs.cabal964logplain