| Mon, 30 May 2011 13:58:00 +0200 | bulwahn | improving heuristics of type annotations in contravariant positions for the special case with instances of the class partial_term_of | changeset | files |
| Mon, 30 May 2011 13:57:59 +0200 | bulwahn | automatic derivation of partial_term_of functions; renaming type and term to longer names narrowing_type and narrowing_term; hiding constant C; adding overlord option | changeset | files |