summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Bump agda-stdlib to 0.8Mark Wright2014-07-021-0/+67