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 |
Wed, 20 Nov 2013 11:12:35 +0100 | Andreas Lochbihler | instantiate linorder for String.literal by lexicographic order | changeset | files |
Wed, 20 Nov 2013 11:10:05 +0100 | Andreas Lochbihler | setup lifting/transfer for String.literal | changeset | files |
Wed, 20 Nov 2013 10:59:12 +0100 | Andreas Lochbihler | add predicate version of lexicographic order on lists | changeset | files |