| Name | Size (bytes) | Date | Description |
|---|---|---|---|
| ../ | Parent directory | ||
| Figs.hs | 1185 | 2015-Dec-27 | |
| ZipperDeriv.lhs | 10691 | 2015-Dec-27 | |
| ZipperDeriv.pdf | 192941 | 2015-Dec-27 |
| Name | Size (bytes) | Date | Description |
|---|---|---|---|
| ../ | Parent directory | ||
| Figs.hs | 1185 | 2015-Dec-27 | |
| ZipperDeriv.lhs | 10691 | 2015-Dec-27 | |
| ZipperDeriv.pdf | 192941 | 2015-Dec-27 |