diff options
| author | Florian Diebold <[email protected]> | 2021-05-09 19:06:24 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-05-21 16:48:34 +0100 |
| commit | 278f5b043d3cde9ed5b6dfef708ed29179fd534c (patch) | |
| tree | 834bda00395d46f9ac3b08c993d29ae7e1cd0834 /editors | |
| parent | aebcf7b5d4a37a08f2a64f7660b7e3d890476dba (diff) | |
Fix fallback to bound vars in `unify`
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions