fresh name generation
Opened this issue · 4 comments
bixuanzju commented
Elaborator needs to generate fresh names
brunocdsoliveira commented
why is this issue (which is a blocker!) not solved yet ... It seems to me that adding fresh name generation should be something that takes 5 minutes to fix. Or is there something that I am missing?
bixuanzju commented
@zhiyuanshi Are you working on that?
zhiyuanshi commented
I'm working on that.
bixuanzju commented
@zhiyuanshi What is the status?