Expansions that affect variables should maintain a reference to those variables

giovinazzo-kevin / Ergo

Other

4 stars 0 forks source link

Expansions that affect variables should maintain a reference to those variables #37

Closed giovinazzo-kevin closed 2 years ago

giovinazzo-kevin commented 2 years ago

In order to make it possible to write logically-sound expansions, they must preserve any variable that they affect. This includes variables found inside Complex terms.