intellij-arend icon indicating copy to clipboard operation
intellij-arend copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Tracer resets the typechecking status of the definition

Open valis opened this issue 2 years ago • 0 comments

After using the tracer the status of the definition is reset to untypecheked it seems.

valis avatar Jun 24 '22 14:06 valis