| Sun, 15 Jul 2012 13:03:47 +0100 |
Christian Urban |
added a simproc for alpha-equivalence to the simplifier
|
file |
diff |
annotate
|
| Tue, 12 Jun 2012 01:23:52 +0100 |
Christian Urban |
added finfun-type to Nominal
|
file |
diff |
annotate
|
| Mon, 11 Jun 2012 14:02:57 +0100 |
Christian Urban |
added CPS files to test (not all proofs have been completed)
|
file |
diff |
annotate
|
| Wed, 21 Dec 2011 17:05:00 +0900 |
Cezary Kaliszyk |
Reorder constructors to match Lambda
|
file |
diff |
annotate
|
| Fri, 19 Aug 2011 12:49:38 +0900 |
Cezary Kaliszyk |
Use same constructor names as Lambda, remove copies of FCB, remove [eqvt].
|
file |
diff |
annotate
|
| Sun, 24 Jul 2011 07:54:54 +0200 |
Cezary Kaliszyk |
update to 'termination (eqvt)'.
|
file |
diff |
annotate
|
| Mon, 11 Jul 2011 23:42:22 +0900 |
Cezary Kaliszyk |
Experiment with permuting eqvt_at
|
file |
diff |
annotate
|
| Fri, 24 Jun 2011 11:18:18 +0900 |
Cezary Kaliszyk |
Make examples work with non-precompiled image
|
file |
diff |
annotate
|
| Thu, 16 Jun 2011 13:32:36 +0100 |
Christian Urban |
moved for the moment CPS translations into the example directory
|
file |
diff |
annotate
| base
|