Revert to reboxing rules that violate let/app invariant.

compiling-to-categories / concat

Compiling to Categories

BSD 3-Clause "New" or "Revised" License

431 stars 49 forks source link

Closed mikesperber closed 3 years ago

mikesperber commented 3 years ago

See #62: The rules from the paper don't violate the invariant, but don't always get the job done.