Take a look at The Rapier in GHC: https://www.researchgate.net/publication/220676611_Secrets_o...
It employs a similar idea. Track the set of in scope variables and use them to unique variables on collision.
It employs a similar idea. Track the set of in scope variables and use them to unique variables on collision.
No comments yet.