Wed, 27 Jan 2010 08:20:31 +0100 Christian Urban some slight tuning
Wed, 27 Jan 2010 07:49:43 +0100 Christian Urban added Terms to Nominal - Instantiation of two types does not work (ask Florian)
Wed, 27 Jan 2010 07:45:01 +0100 Christian Urban added another example with indirect recursion over lists
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip