(defλ Ξ
  [x]
  (χ
    (φ? x) x
    (∪
       (ζ? x)
       (Λ? (α x))) (Ξ (Λ x (ω x)))
    (⊌? x) (↦ Ξ x)))

(≝ eval Ξ)

© 2022. All rights reserved.