diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2019-08-17 10:21:42 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2019-08-17 10:21:42 -0400 |
| commit | 2bd1fc392c0b22f5eaa37919c6a26330dd72c7d4 (patch) | |
| tree | b9c9462835c8e5c58bf3c55505466f2d67addb71 /tests/cssNull.ur | |
| parent | 52eb84c63a458e2a042c8fe451e96a11fdaeb4ed (diff) | |
Generic traversal for Elab should visit let-bound patterns
Diffstat (limited to 'tests/cssNull.ur')
0 files changed, 0 insertions, 0 deletions