Mon, 07 May 2007 00:49:59 +0200 | wenzelm | simplified DataFun interfaces; | file | diff | annotate |
Wed, 08 Nov 2006 19:48:36 +0100 | haftmann | renamed DatatypeHooks.invoke to all | file | diff | annotate |
Fri, 21 Jul 2006 14:47:22 +0200 | haftmann | hooks now take string list as arguments (mutual datatypes); some nice combinators in datatype_codegen | file | diff | annotate |
Wed, 21 Jun 2006 11:23:06 +0200 | haftmann | renamed thy data | file | diff | annotate |
Tue, 09 May 2006 10:09:37 +0200 | haftmann | added DatatypeHooks | file | diff | annotate |