summaryrefslogtreecommitdiff
path: root/compiler/typecheck/Flattening-notes
Commit message (Expand)AuthorAgeFilesLines
* Comments only: move flattening notes to TcFlattenSimon Peyton Jones2014-12-101-201/+1
* catch some recent typosGabor Greif2014-12-081-3/+3
* RAE's response to SPJ's question in flattening-notesRichard Eisenberg2014-12-081-0/+5
* Revise flattening-notesSimon Peyton Jones2014-12-081-31/+68
* Added comments to flattening-notesRichard Eisenberg2014-12-071-0/+31
* Add notes about the inert CTyEqCansSimon Peyton Jones2014-12-051-0/+150
* Wibbles to notesSimon Peyton Jones2014-11-061-33/+2
* Simon's major commit to re-engineer the constraint solverSimon Peyton Jones2014-11-041-11/+2
* Add flattening-notesSimon Peyton Jones2014-11-041-0/+49