@@ -110,9 +110,6 @@ Note that ~eqal~ will handle ~type-error~ by trying to switch the order of the a
@export
(defgeneric evaluate (expression &key substitutions-list resolve-constants-light-p resolve-constants-hard-p))
- @export
- (defgeneric simplify (expression &key resolve-constants-light-p resolve-constants-hard-p))
-
(defgeneric to-sexp (expression &optional resolve-constants-p))
#+END_SRC