| Fri, 20 May 2011 12:47:59 +0200 | blanchet | improved "poly_preds_{bang,query}" by picking up good witnesses for the possible infinity of common type classes and ensuring that "?'a::type" doesn't ruin everything | changeset | files |
| Fri, 20 May 2011 12:47:59 +0200 | blanchet | reintroduced type encodings "poly_preds_{bang,query}", but this time being more liberal about type variables of known safe sorts | changeset | files |
| Fri, 20 May 2011 12:47:59 +0200 | blanchet | more doc fiddling | changeset | files |
| Fri, 20 May 2011 12:47:59 +0200 | blanchet | more FAQs | changeset | files |