Tue, 25 Jan 2011 18:58:26 +0100 | Christian Urban | made eqvt-proof explicit in the function definitions | changeset | files |
Tue, 25 Jan 2011 02:51:44 +0900 | Cezary Kaliszyk | merge | changeset | files |
Tue, 25 Jan 2011 02:46:05 +0900 | Cezary Kaliszyk | minor | changeset | files |
Tue, 25 Jan 2011 02:42:15 +0900 | Cezary Kaliszyk | Down as infixr | changeset | files |
Sat, 22 Jan 2011 23:24:20 -0600 | Christian Urban | added some slides | changeset | files |
Sun, 23 Jan 2011 03:29:22 +0100 | Christian Urban | added Tutorial6 | changeset | files |