Evaluating graphs should have by-need (lazily memoizing) semantics: evaluation of a parameter in a graph should cause it to produce the actual value, but no sooner.
On the other hand, this may be less of a thing if Tess is total; that’s the case for Idris for example.
Evaluating graphs should have by-need (lazily memoizing) semantics: evaluation of a parameter in a graph should cause it to produce the actual value, but no sooner.
On the other hand, this may be less of a thing if Tess is total; that’s the case for Idris for example.