You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It would be cool if the builder had a central "gensym" utility for generating fresh names. Then these utilities wouldn't need to take in a group and cell name (or at least they could be optional); the builder would just call them lt1234 or whatever automatically.
It would be cool if the builder had a central "gensym" utility for generating fresh names. Then these utilities wouldn't need to take in a group and cell name (or at least they could be optional); the builder would just call them
lt1234
or whatever automatically.Originally posted by @sampsyo in #1630 (comment)
The text was updated successfully, but these errors were encountered: