Mon, 14 Jun 2010 15:27:09 +0200 | haftmann | added reference | changeset | files |
Mon, 14 Jun 2010 15:27:08 +0200 | haftmann | subsection on locale interpretation | changeset | files |
Mon, 14 Jun 2010 12:01:30 +0200 | haftmann | explicitly name and note equations for class eq | changeset | files |
Mon, 14 Jun 2010 12:01:30 +0200 | haftmann | use various predefined Haskell operations when generating code | changeset | files |
Mon, 14 Jun 2010 12:01:30 +0200 | haftmann | NEWS | changeset | files |
Mon, 14 Jun 2010 10:50:49 +0200 | haftmann | tuned internal order | changeset | files |