diff options
| author | mniip <mniip@mniip.com> | 2019-06-28 13:19:45 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-08-07 10:18:07 -0400 |
| commit | 3d32286d212b49c95eba7aa2e013185740099aa1 (patch) | |
| tree | 560dc86d11c71d2b549300d3409d85c4f6c9c5e2 /utils/check-api-annotations | |
| parent | bca793458c77302c1d46766b7f563c1cc4c17579 (diff) | |
| download | haskell-3d32286d212b49c95eba7aa2e013185740099aa1.tar.gz | |
Explicitly number equations when printing axiom incompatibilities
Diffstat (limited to 'utils/check-api-annotations')
0 files changed, 0 insertions, 0 deletions