summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--Agda-executable.cabal1513logplain
-rw-r--r--LICENSE1165logplain
-rw-r--r--Main.hs238logplain
-rw-r--r--Setup.hs48logplain