summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Bump agda stdlib to a development snapshot, which I just name 0.7_pre20121118...Mark Wright2012-11-183-11/+77
* Thanks to tomprince for adding support for agda-stdlib.Mark Wright2012-03-255-0/+77