| Mon, 19 Sep 2011 16:18:23 +0200 | bulwahn | adding abstraction layer; more precise function names | changeset | files |
| Mon, 19 Sep 2011 16:18:21 +0200 | bulwahn | adding type annotations more aggressively and redundantly to make code generation more reliable even when special printers for some constants are used | changeset | files |
| Mon, 19 Sep 2011 16:18:19 +0200 | bulwahn | determining the fastype of a case-pattern but ignoring dummy type constructors that were added as markers for type annotations | changeset | files |
| Mon, 19 Sep 2011 16:18:19 +0200 | bulwahn | only annotating constants with sort constraints | changeset | files |