| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | testsuite: Use makefile_test | Ben Gamari | 2019-01-30 | 1 | -2/+1 |
| * | Revert "Batch merge" | Ben Gamari | 2019-01-30 | 1 | -1/+2 |
| * | Batch merge | Ben Gamari | 2019-01-30 | 1 | -2/+1 |
| * | Make IfaceAxiom typechecking lazier. | Edward Z. Yang | 2017-07-20 | 1 | -0/+4 |
