summaryrefslogtreecommitdiff
path: root/src/Inky/Parser.idr
diff options
context:
space:
mode:
authorGreg Brown <greg.brown01@ed.ac.uk>2024-09-30 18:20:08 +0100
committerGreg Brown <greg.brown01@ed.ac.uk>2024-09-30 18:20:08 +0100
commit405519b406174bec161bc4d23deb0551b1ed31ac (patch)
tree86e53a7f168d63516562e5da9a7a1f786b83b973 /src/Inky/Parser.idr
parent39bd40eea9c0b8935f7feabdeb20802e98e5b603 (diff)
Make tags for tuples and cases unique.
Diffstat (limited to 'src/Inky/Parser.idr')
0 files changed, 0 insertions, 0 deletions