summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--Agda.cabal30044logplain
-rw-r--r--CHANGELOG.md377652logplain
-rw-r--r--LICENSE5438logplain
-rw-r--r--README.md1451logplain
-rw-r--r--Setup.hs3804logplain
d---------dist32logplain
d---------doc43logplain
d---------src129logplain
-rw-r--r--stack-7.10.3.yaml367logplain
-rw-r--r--stack-8.0.2.yaml189logplain
-rw-r--r--stack-8.2.2.yaml190logplain
-rw-r--r--stack-8.4.4.yaml148logplain
-rw-r--r--stack-8.6.5.yaml158logplain