summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--Agda.cabal24847logplain
-rw-r--r--CHANGELOG209065logplain
-rw-r--r--LICENSE4876logplain
-rw-r--r--README.md5877logplain
-rw-r--r--Setup.hs1776logplain
d---------dist32logplain
d---------src170logplain