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 |