Closed strub closed 6 months ago
When crossing a let-binding, remove the bound variables from the substitution in all situation.
Fix #544
When crossing a let-binding, remove the bound variables from the substitution in all situation.
Fix #544