summaryrefslogtreecommitdiff
path: root/queries/agda
ModeNameSize
-rw-r--r--folds.scm30logplain
-rw-r--r--highlights.scm973logplain