jaccokrijnen
commented
1 year ago - [x] Dead-code doesn't have the weird type beta-redex rule anymore, so remove it.
- [ ] Instead, dead-code elimination takes care of type-let, after beta-redexes are transformed type-level beta redexes into type-lets (Beta pass)