Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |