term-rewrite-system/tests/klop.scm

(use-modules (trs examples))
(use-modules (srfi srfi-64))

(define c
  '($ ($ (s)
         ($ ($ (b) (b)) (s)))
      ($ (k) (k))))

(test-begin "klop")
(test-equal (klop `($ ($ ($ ,c x) y) z))
  '($ ($ x z) y))
(test-end "klop")