Reading up on Datahike

Superficie renders Clojure code as readable infix/block notation that roundtrips exactly, enabling non‑Lisp readers to understand kernels, proofs, and macros without altering semantics.