Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Type vs Constraint: finally nailed | Simon Peyton Jones | 2022-11-11 | 1 | -16/+16 |
* | Define `Infinite` list and use where appropriate. | M Farkas-Dyck | 2022-11-08 | 1 | -25/+11 |
* | Generalize breakTyVarCycle to work with TyFamLHS | Richard Eisenberg | 2022-05-26 | 1 | -1/+1 |
* | Compare FunTys as if they were TyConApps. | Richard Eisenberg | 2021-09-29 | 1 | -1/+1 |
* | Use Reductions to keep track of rewritings | sheaf | 2021-08-04 | 1 | -0/+892 |