benjishults/bitnots

EPIC improve memory usage by sharing structure and destructively modifying

benjishults opened this issue · 1 comments

EPIC improve memory usage by sharing structure and destructively modifying.

Prior to doing this, I want to make sure that memory usage is a problem. Perhaps I can have it both ways or some combination of both ways.

Consider freeing up memory by pruning branches that are closed with an empty substitution...