| Fri, 15 Feb 2013 08:31:31 +0100 | haftmann | two target language numeral types: integer and natural, as replacement for code_numeral; | file | diff | annotate |
| Fri, 28 Dec 2012 09:37:27 +0100 | haftmann | formally corrected | file | diff | annotate |
| Thu, 27 Dec 2012 21:01:08 +0100 | haftmann | tuned | file | diff | annotate |
| Thu, 27 Dec 2012 21:01:08 +0100 | haftmann | uniform parentheses for constructor -- necessary to accomodate scala 10 | file | diff | annotate |
| Thu, 27 Dec 2012 11:32:28 +0100 | haftmann | tuned | file | diff | annotate |
| Tue, 05 Jun 2012 07:05:56 +0200 | haftmann | prefer records with speaking labels over deeply nested tuples | file | diff | annotate |
| Thu, 19 Apr 2012 10:16:51 +0200 | haftmann | dropped dead code; | file | diff | annotate |