Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Upgrade UniqSet to a newtype | David Feuer | 2017-03-01 | 1 | -1/+1 |
* | Kill varSetElemsWellScoped in quantifyTyVars | Bartosz Nitka | 2016-04-26 | 1 | -2/+6 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -6/+9 |
* | Implement more deterministic operations and document them | Bartosz Nitka | 2015-12-02 | 1 | -0/+8 |
* | Add DVarSet - a deterministic set of Vars | Bartosz Nitka | 2015-11-21 | 1 | -0/+88 |