| Tue, 11 Sep 2012 13:06:14 +0200 | blanchet | finished splitting sum types for corecursors | changeset | files |
| Tue, 11 Sep 2012 13:06:14 +0200 | blanchet | split sum types in corecursor definition | changeset | files |
| Tue, 11 Sep 2012 13:06:13 +0200 | blanchet | first step towards splitting corecursor function arguments into (p, g, h) triples | changeset | files |
| Tue, 11 Sep 2012 13:06:13 +0200 | blanchet | reverted "id" change: The problem is rather that the "%c. f c" argument sometimes gets eta-reduced | changeset | files |