One of the authors listed, Thorsten Altenkirch, teaches quite a few second year Computer Science modules at Nottingham. He's absolutely mad. Here is a selection

One of the authors listed, Thorsten Altenkirch, teaches quite a few second year Computer Science modules at Nottingham. He's absolutely mad. Here is a selection of some of his best moments: http://www.cs.nott.ac.uk/~txa/thorsten.html http://www.cs.nott.ac.uk/~txa/thorsten.html. Note that this hasn't been updated in 13 years. The gold that has been lost since then truly saddens me.