We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8d8084a commit 8126023Copy full SHA for 8126023
examples/package.lisp
@@ -1,4 +1,5 @@
1
(defpackage #:cluck/examples/cas
2
+ (:documentation "Computer Algebra System using the CLuck e-graph library")
3
(:use #:cl #:cluck)
4
(:export #:simplify
5
;; Simplification strategies:
0 commit comments