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
Tue, 26 Jan 2010 20:12:41 +0100 Christian Urban just moved obsolete material into Attic
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip