| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2018-12-30 | Stop well-formedness checking unreachable code. | David Wood | -1/+10 |
| 2018-12-30 | Add explicit error annotations to test. | David Wood | -0/+1 |
| 2018-12-30 | Add test for unreachable well-formedness. | David Wood | -0/+7 |
