nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 19 Feb 2011 09:31:22 +0900] rev 2728

typeschemes/subst

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 17 Feb 2011 17:02:25 +0900] rev 2727

further experiments with typeschemes subst

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 17 Feb 2011 12:01:08 +0900] rev 2726

Finished the proof of a function that invents fresh variable names.

Christian Urban <urbanc@in.tum.de> [Wed, 16 Feb 2011 14:44:33 +0000] rev 2725

added eqvt for length

Christian Urban <urbanc@in.tum.de> [Wed, 16 Feb 2011 14:03:26 +0000] rev 2724

added eqvt lemmas for filter and distinct

Christian Urban <urbanc@in.tum.de> [Mon, 07 Feb 2011 16:00:24 +0000] rev 2723

added eqvt for cartesian products

Christian Urban <urbanc@in.tum.de> [Mon, 07 Feb 2011 15:59:37 +0000] rev 2722

cleaned up the experiments so that the tests go through

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 05 Feb 2011 07:39:00 +0900] rev 2721

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 05 Feb 2011 07:38:22 +0900] rev 2720

Experiments defining a function on Let

Christian Urban <urbanc@in.tum.de> [Fri, 04 Feb 2011 04:45:04 +0000] rev 2719

updated TODO

nominal2