Closed amaletzk closed 9 years ago
Change the implementation of the "let"-quantifier, where calls of "substituteFree" are replaced by calls of "ReplacePart" (on pre-computed positions of the bound variable). This should increase the efficiency of "let" drastically.
Change the implementation of the "let"-quantifier, where calls of "substituteFree" are replaced by calls of "ReplacePart" (on pre-computed positions of the bound variable). This should increase the efficiency of "let" drastically.