| Thu, 29 Apr 2010 15:00:42 +0200 | haftmann | more coherent naming with ML serializer | file | diff | annotate |
| Fri, 19 Feb 2010 11:06:22 +0100 | haftmann | context theorem is optional | file | diff | annotate |
| Fri, 22 Jan 2010 13:38:28 +0100 | haftmann | code literals: distinguish numeral classes by different entries | file | diff | annotate |
| Thu, 14 Jan 2010 17:47:39 +0100 | haftmann | tuned for products vs. tupled functions | file | diff | annotate |
| Wed, 13 Jan 2010 08:56:16 +0100 | haftmann | being more accurate wrt. list syntax | file | diff | annotate |
| Fri, 08 Jan 2010 14:34:18 +0100 | haftmann | proper types for user-defined syntax | file | diff | annotate |
| Fri, 08 Jan 2010 12:25:15 +0100 | haftmann | a primitive scala serializer | file | diff | annotate |