Tue, 23 Mar 2010 07:04:27 +0100 | Cezary Kaliszyk | Move the comment to appropriate place. | file | diff | annotate |
Fri, 19 Mar 2010 18:42:57 +0100 | Cezary Kaliszyk | Automatically derive support for datatypes with at-most one binding per constructor. | file | diff | annotate |