summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--Agda.cabal26894logplain
-rw-r--r--CHANGELOG.md249530logplain
-rw-r--r--LICENSE4876logplain
-rw-r--r--README.md6256logplain
-rw-r--r--Setup.hs1776logplain
d---------dist32logplain
d---------src129logplain
-rw-r--r--stack-7.8.4.yaml478logplain
-rw-r--r--stack-8.0.1.yaml99logplain