aboutsummaryrefslogtreecommitdiffstats
path: root/queries/agda
ModeNameSize
-rw-r--r--folds.scm30logstatsplainblame
-rw-r--r--highlights.scm973logstatsplainblame