summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Thanks to tomprince for adding support for agda-stdlib.Mark Wright2012-03-251-0/+9