Dependently typed Clojure DSL with a Lean4 compatible kernel · HackerLangs