ProvingGround icon indicating copy to clipboard operation
ProvingGround copied to clipboard

Separate equations with initial values

Open siddhartha-gadgil opened this issue 4 years ago • 2 comments

  • Storing and recalling them is misleading.
  • On the other hand, when initializing with a term state one must generate and include the corresponding equations.
  • Warning: we do want initial values in islands.

siddhartha-gadgil avatar Dec 27 '20 01:12 siddhartha-gadgil

This seems to be at least part of the problem with Chomp-session not working: we get silly terms.

siddhartha-gadgil avatar Jan 13 '21 05:01 siddhartha-gadgil

May be better to purge nodes that are not reachable.

siddhartha-gadgil avatar Jan 13 '21 06:01 siddhartha-gadgil