Closed kjcjohnson closed 2 years ago
We decided to drop the selector names in the declare-term-types call. Instead of: ($+ ($+_1 E) ($+_2 E)) it is now: ($+ E E)
The selectors weren't supposed to be used, so we're just dropping them.
We decided to drop the selector names in the declare-term-types call. Instead of: ($+ ($+_1 E) ($+_2 E)) it is now: ($+ E E)
The selectors weren't supposed to be used, so we're just dropping them.