| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Reject nested predicates in impredicativity checking | Ryan Scott | 2019-03-20 | 1 | -1/+1 |
| * | A collection of type-inference refactorings. | Simon Peyton Jones | 2016-10-21 | 1 | -1/+1 |
| * | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -0/+15 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |