diff options
| author | Gaëtan Gilbert | 2018-11-06 22:49:11 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-11-16 15:08:46 +0100 |
| commit | 55cb4f64ccd95f639e6ae375e8de3014f73d2bcb (patch) | |
| tree | 3e0dd203a4a888b606c42e45652c9e03a6c4f3b5 /plugins/syntax | |
| parent | 563623f4eeb9d9992b1bffb5b71a6b849ba71132 (diff) | |
Fix lifting in foo_with_full_binders for (co)fixpoints
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions