| Wed, 27 Nov 2013 15:08:18 +0100 | traytel | command for axiomatic declaration of bnfs---allow theoreticians to fix an arbitrary type with functorial structure and work abstractly on it | changeset | files |
| Wed, 27 Nov 2013 11:08:55 +0100 | Andreas Lochbihler | remove junk | changeset | files |
| Wed, 27 Nov 2013 10:54:44 +0100 | Andreas Lochbihler | revert 4af7c82463d3 and document type class problem in Haskell | changeset | files |
| Wed, 27 Nov 2013 10:43:51 +0100 | Andreas Lochbihler | merged | changeset | files |
| Wed, 20 Nov 2013 12:11:12 +0100 | Andreas Lochbihler | no ord instance for String.literal in Haskell when list is also ordered lexicographically | changeset | files |
| Wed, 20 Nov 2013 11:59:33 +0100 | Andreas Lochbihler | implement comparisons on String.literal by target-language comparisons | changeset | files |