Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 18:30:27 +0200] rev 2096
merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 18:29:45 +0200] rev 2095
Restore set bindings in CoreHaskell
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 15:54:16 +0200] rev 2094
Recursive examples with relation composition
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 15:45:04 +0200] rev 2093
merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 15:44:49 +0200] rev 2092
prod_rel and prod_fv eqvt and mono
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 15:14:02 +0200] rev 2091
ExLetRec
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 15:11:19 +0200] rev 2090
merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 15:11:05 +0200] rev 2089
Parser changes for compound relations
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 15:09:53 +0200] rev 2088
merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 15:09:32 +0200] rev 2087
Use mk_compound_fv' and mk_compound_rel'
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 12:05:13 +0200] rev 2086
merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 12:04:40 +0200] rev 2085
Membership in a pair of lists.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 10:22:57 +0200] rev 2084
Synchronize FSet with repository
Christian Urban <urbanc@in.tum.de> [Sun, 09 May 2010 12:38:59 +0100] rev 2083
tuned file names for examples
Christian Urban <urbanc@in.tum.de> [Sun, 09 May 2010 12:26:10 +0100] rev 2082
cleaned up a bit the examples; added equivariance to all examples