An error occurred while fetching folder content.
Iavor S. Diatchki
authored
The changes are: 1. No impredicative types in `Typeable` 2. Distinguish normal tuples, from tuples of constraints.
| Name | Last commit | Last update |
|---|