Expansions that affect variables should maintain a reference to those variables

G3Kappa / Ergo

Other

4 stars 0 forks source link

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

Closed G3Kappa closed 1 year ago

G3Kappa commented 1 year 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.