diff options
| author | Tom Smeding <tom.smeding@gmail.com> | 2020-05-23 11:38:01 +0200 |
|---|---|---|
| committer | Tom Smeding <tom.smeding@gmail.com> | 2020-05-23 11:38:01 +0200 |
| commit | c3a2389203e743c874bb464c9343a2f0aab3ae62 (patch) | |
| tree | 3ff9d4225b0bfab332b84c5cceedf520f583ea06 /src/Util.hs | |
| parent | 3f180e74d54ab447d3ef16ed5439e0abe8d1da97 (diff) | |
Rewrite full lambda body in betared, don't skip binders
Diffstat (limited to 'src/Util.hs')
0 files changed, 0 insertions, 0 deletions