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 |
* | Check local type family instances against all imported ones | Reid Barton | 2017-02-14 | 4 | -0/+30 |