Fri, 16 Mar 2007 21:32:09 +0100 | haftmann | moved lattice instance here | file | diff | annotate |
Wed, 27 Dec 2006 19:09:55 +0100 | haftmann | explizit serialization for Haskell id | file | diff | annotate |
Mon, 18 Dec 2006 08:21:26 +0100 | haftmann | infix syntax for generated code for composition | file | diff | annotate |
Mon, 27 Nov 2006 13:42:39 +0100 | haftmann | moved order arities for fun and bool to Fun/Orderings | file | diff | annotate |