| Fri, 06 Apr 2012 18:17:16 +0200 | haftmann | no preference wrt. fold(l/r); prefer fold rather than foldr for iterating over lists in generated code | file | diff | annotate |
| Mon, 23 Jan 2012 17:29:19 +0100 | huffman | generalize type of List.listrel | file | diff | annotate |