diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2025-04-21 21:57:55 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2025-04-21 21:57:55 +0200 |
| commit | 9058091d82ac70db71c786ee68d997bde0c775f4 (patch) | |
| tree | a4958b6d51a0e79dc81574b0c85d35e3f20e666a /src/AST/Weaken.hs | |
| parent | b1a41a3e7b796f9bde7642fc4d7de70a7cdadc71 (diff) | |
pretty: Generate type-tagged fallback names
Diffstat (limited to 'src/AST/Weaken.hs')
0 files changed, 0 insertions, 0 deletions