summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
Commit message (Expand)AuthorAge
* gnu: Add agda.Alex ter Weele2018-02-26