Thu, 10 Jun 2010 12:24:02 +0200 | haftmann | moved inductive_codegen to place where product type is available; tuned structure name | changeset | files |
Thu, 10 Jun 2010 12:24:01 +0200 | haftmann | qualified type "*"; qualified constants Pair, fst, snd, split | changeset | files |
Tue, 08 Jun 2010 16:37:22 +0200 | haftmann | tuned quotes, antiquotations and whitespace | changeset | files |