diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-14 21:51:50 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-14 21:51:50 -0400 |
| commit | 1b732bd5dd2cedb821345f5772842c0994237722 (patch) | |
| tree | b8e3181441a0eefc46ca68189d30fdd6db22dd7e /.travis.yml | |
| parent | 0faedd6652a3d0c7c0f21b34761f494a310ea62b (diff) | |
Split off a-normal form from flattening
Now we can flatten let binders without putting operations in a-normal form
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions