Wed, 10 Mar 2010 15:34:13 +0100 Undoing mistakenly committed parser experiments.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 10 Mar 2010 15:34:13 +0100] rev 1401
Undoing mistakenly committed parser experiments.
Wed, 10 Mar 2010 15:32:51 +0100 alpha_eqvt for recursive term1.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 10 Mar 2010 15:32:51 +0100] rev 1400
alpha_eqvt for recursive term1.
Wed, 10 Mar 2010 14:47:04 +0100 Looking at alpha_eqvt for term5, not much progress.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 10 Mar 2010 14:47:04 +0100] rev 1399
Looking at alpha_eqvt for term5, not much progress.
Wed, 10 Mar 2010 14:24:27 +0100 Reordered examples in Test.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 10 Mar 2010 14:24:27 +0100] rev 1398
Reordered examples in Test.
Wed, 10 Mar 2010 13:29:12 +0100 Allows multiple bindings with same lhs.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 10 Mar 2010 13:29:12 +0100] rev 1397
Allows multiple bindings with same lhs.
Wed, 10 Mar 2010 13:10:00 +0100 Linked parser to fv and alpha.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 10 Mar 2010 13:10:00 +0100] rev 1396
Linked parser to fv and alpha.
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip