summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--Agda.cabal27527logplain
-rw-r--r--CHANGELOG.md331122logplain
-rw-r--r--LICENSE5422logplain
-rw-r--r--README.md1468logplain
-rw-r--r--Setup.hs1616logplain
d---------dist32logplain
d---------doc43logplain
d---------src129logplain
-rw-r--r--stack-7.10.3.yaml197logplain
-rw-r--r--stack-8.0.2.yaml126logplain
-rw-r--r--stack-8.2.2.yaml127logplain
-rw-r--r--stack-8.4.3.yaml99logplain