diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2024-09-30 18:20:08 +0100 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2024-09-30 18:20:08 +0100 |
| commit | 405519b406174bec161bc4d23deb0551b1ed31ac (patch) | |
| tree | 86e53a7f168d63516562e5da9a7a1f786b83b973 /src/Inky/Term/Parser.idr | |
| parent | 39bd40eea9c0b8935f7feabdeb20802e98e5b603 (diff) | |
Make tags for tuples and cases unique.
Diffstat (limited to 'src/Inky/Term/Parser.idr')
0 files changed, 0 insertions, 0 deletions