Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Foldr.agda | 2012-03-06 11:45 | 145 | ||
Lisp.agda | 2012-02-14 16:21 | 1.2K | ||
MapList.agda | 2011-12-13 12:23 | 551 | ||
ShowDigit.agda | 2011-12-13 12:23 | 238 | ||
Take.agda | 2012-03-06 11:45 | 435 | ||
ZipWith.agda | 2012-03-06 11:45 | 194 | ||
_++_.agda | 2011-12-13 12:23 | 611 | ||
_==_.agda | 2011-12-13 12:23 | 468 | ||
map.agda | 2011-12-13 12:23 | 914 | ||
show.agda | 2011-12-13 12:23 | 2.6K | ||