1. phdopen.pdf
2. phdopen-games.pdf
3. phdopen-pigeon.pdf
4. phdopen.hs
5. exercise.lhs
6. realreals.lhs
7. search.hs