diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2023-09-21 23:57:20 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2023-09-21 23:57:38 +0200 |
| commit | 3266269f4636a491f74ccf72b02db7cbb5acf26c (patch) | |
| tree | ace7ee902c01c8dd2e081afa28913399ce5da31d /LICENSE | |
| parent | 302ca6fdb6d0a3ed764a99a3f42829a5a012b258 (diff) | |
WIP in merge mode only return free variables
The code typechecks and may well work, but is untested.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions