axiom-of-association   macro


Defined in:  https://github.com/digego/extempore/tree/v0.8.9/libs/core/pattern.xtm

Implementation

;; ((p = q) = r) = (p = (q = r))
(define-macro (axiom-of-association . expr)
  (println 'expr expr)
  (let ((res ((match '(((p? = q?) = r?) = (p? = (q? = r?)))) expr)))
    (println 'res res)))


Back to Index

Similar Entries