Wed, 04 Jul 2012 13:08:44 +0200 | blanchet | don't generate any type class axioms for free types for monomorphic encodings | changeset | files |
Wed, 04 Jul 2012 13:08:44 +0200 | blanchet | update docs | changeset | files |
Wed, 04 Jul 2012 13:08:44 +0200 | blanchet | tuning | changeset | files |