Dependently typed Clojure DSL with a Lean4 compatible kernel (via Yogthos) — discussion

#clojure