Thu, 28 Feb 2013 12:37:33 +0000 simplified slightly rec_compilation function
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Feb 2013 12:37:33 +0000] rev 203
simplified slightly rec_compilation function
Wed, 27 Feb 2013 01:32:53 +0000 added a coment about partial_function
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Feb 2013 01:32:53 +0000] rev 202
added a coment about partial_function
Tue, 26 Feb 2013 23:44:57 +0000 syntactic convenience for recursive functions
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 26 Feb 2013 23:44:57 +0000] rev 201
syntactic convenience for recursive functions
(0) -100 -30 -10 -3 +3 +10 +30 tip