Index of /~japie/dp-oud/week5/pico

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] picoStart.hs 17-Feb-2010 13:50 1.0K [   ] parser.lhs 10-Mar-2010 13:48 1.4K [   ] picoparser2011.lhs 02-Mar-2017 23:36 1.5K [TXT] picoStart.lhs 02-Mar-2017 21:53 1.5K [TXT] Parsing.lhs 02-Mar-2017 23:58 4.5K [   ] pico-exercise.tex 03-Mar-2017 00:13 8.3K [   ] pico-exercise.pdf 03-Mar-2017 00:13 76K
Apache/2.2.15 (CentOS) Server at www.win.tue.nl Port 443