Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Comments only: move flattening notes to TcFlatten | Simon Peyton Jones | 2014-12-10 | 1 | -201/+1 |
* | catch some recent typos | Gabor Greif | 2014-12-08 | 1 | -3/+3 |
* | RAE's response to SPJ's question in flattening-notes | Richard Eisenberg | 2014-12-08 | 1 | -0/+5 |
* | Revise flattening-notes | Simon Peyton Jones | 2014-12-08 | 1 | -31/+68 |
* | Added comments to flattening-notes | Richard Eisenberg | 2014-12-07 | 1 | -0/+31 |
* | Add notes about the inert CTyEqCans | Simon Peyton Jones | 2014-12-05 | 1 | -0/+150 |
* | Wibbles to notes | Simon Peyton Jones | 2014-11-06 | 1 | -33/+2 |
* | Simon's major commit to re-engineer the constraint solver | Simon Peyton Jones | 2014-11-04 | 1 | -11/+2 |
* | Add flattening-notes | Simon Peyton Jones | 2014-11-04 | 1 | -0/+49 |