| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix binder-swap bug | Simon Peyton Jones | 2022-10-25 | 1 | -1/+0 |
| * | Fix typos | Krzysztof Gogolewski | 2022-09-14 | 1 | -0/+1 |
| * | Fix typos | Eric Lindblad | 2022-09-14 | 1 | -33/+33 |
| * | Drop make build system | Ben Gamari | 2022-08-25 | 1 | -2/+0 |
| * | Cleanups around pretty-printing | Krzysztof Gogolewski | 2022-08-09 | 1 | -1/+0 |
| * | Refactored Simplify pass | Dominik Peteler | 2022-07-22 | 1 | -3/+3 |
| * | TTG: Rework and improve splices | romes | 2022-06-01 | 1 | -37/+45 |
| * | Fix several note references, part 2 | Krzysztof Gogolewski | 2022-05-05 | 1 | -39/+0 |
| * | Fix several note references | Krzysztof Gogolewski | 2022-05-02 | 1 | -40/+0 |
| * | Remove obsolete code in CoreToStg | Krzysztof Gogolewski | 2022-05-02 | 1 | -1/+0 |
| * | Convert More Diagnostics (#20116) | Ben Gamari | 2022-04-30 | 1 | -1/+1 |
| * | Fix unification of ConcreteTvs, removing IsRefl# | sheaf | 2022-04-28 | 1 | -1/+0 |
| * | Make Constraint not *apart* from Type. | Richard Eisenberg | 2022-03-02 | 1 | -1/+0 |
| * | Introduce ConcreteTv metavariables | sheaf | 2022-03-02 | 1 | -1/+0 |
| * | Move linters into the tree | Matthew Pickering | 2022-02-24 | 1 | -24/+24 |
| * | Kill derived constraints | Richard Eisenberg | 2022-02-23 | 1 | -1/+0 |
| * | Fix some notes | Matthew Pickering | 2022-02-08 | 1 | -91/+20 |
| * | Add notes linter to testsuite | Matthew Pickering | 2022-02-08 | 1 | -0/+227 |
