| Mon, 22 Mar 2010 17:21:27 +0100 | Cezary Kaliszyk | Got rid of alpha_bn_rsp_cheat. | file | diff | annotate |
| Mon, 22 Mar 2010 10:15:46 +0100 | Cezary Kaliszyk | Strong induction for Type Schemes. | file | diff | annotate |
| Sat, 20 Mar 2010 10:12:09 +0100 | Cezary Kaliszyk | Size experiments. | file | diff | annotate |
| Sat, 20 Mar 2010 09:27:28 +0100 | Cezary Kaliszyk | Use 'alpha_bn_refl' to get rid of one of the sorrys. | 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 |
| Fri, 19 Mar 2010 14:54:30 +0100 | Cezary Kaliszyk | Use fs typeclass in showing finite support + some cheat cleaning. | file | diff | annotate |
| Fri, 19 Mar 2010 10:23:52 +0100 | Cezary Kaliszyk | TySch strong induction looks ok. | file | diff | annotate |