![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| MapList.agda | 2011-12-13 12:23 | 551 | |
| _++_.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 | |
| ShowDigit.agda | 2011-12-13 12:23 | 238 | |
| Lisp.agda | 2012-02-14 16:21 | 1.2K | |
| Foldr.agda | 2012-03-06 11:45 | 145 | |
| Take.agda | 2012-03-06 11:45 | 435 | |
| ZipWith.agda | 2012-03-06 11:45 | 194 | |