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
I'm not entirely sure what should happen here. Perhaps the == blocks should be emitted as comments in quickspec mode, and the quickspec_laws preamble should only be generated once.
note to self:
The text was updated successfully, but these errors were encountered: