diff options
| author |  Matthew Dempsky <matthew@dempsky.org> | 2020-01-22 14:43:26 -0800 |
|---|---|---|
| committer | Matthew Dempsky <matthew@dempsky.org> | 2020-01-22 14:45:08 -0800 |
| commit | 16b6fdce0bab0699fcf16f41991976b386181dd1 (patch) | |
| tree | d275048046ab39678043a1de1059c7d77b8bd8d9 /tests/both.urs | |
| parent | f500d43acd21458f95faad8b05ee25bf5b19a3fc (diff) | |
Kind variables must be bracketed in expression-level binders
Diffstat (limited to 'tests/both.urs')
0 files changed, 0 insertions, 0 deletions