search

andrew-johnson-4 / lambda-mountain

Compact Portable Assembler (5K SLOC)
MIT License
12 stars 0 forks source link

Capture Avoiding Substitution During Type Unification #461

Open andrew-johnson-4 opened 3 weeks ago

andrew-johnson-4 commented 3 weeks ago

Not sure when this is required but should be pretty simple to implement too. Just replace variables with unique identifiers and normalize before printing or rendering.