stimsym icon indicating copy to clipboard operation
stimsym copied to clipboard
verified publisher icon c-cube

normal form field

Open c-cube opened this issue 9 years ago • 0 comments

In every term, store a timestamp (an int). It represents the last state in which this term is a normal form, if any. 0 means it's not (known to be) a normal form. This avoids recomputing arguments that were not changed in some cases.

c-cube avatar Jan 06 '17 10:01 c-cube