(defλ Ξ [x] (χ (φ? x) x (∪ (ζ? x) (Λ? (α x))) (Ξ (Λ x (ω x))) (⊌? x) (↦ Ξ x))) (≝ eval Ξ)
© 2022. All rights reserved.
For now please see the introductory post. More to come in the future.