aboutsummaryrefslogtreecommitdiffstats
path: root/runtime/queries/agda
ModeNameSize
-rw-r--r--folds.scm32logstatsplainblame
-rw-r--r--highlights.scm1003logstatsplainblame
-rw-r--r--injections.scm70logstatsplainblame