ansatz

Clojure ★ 38 updated 3d ago

Dependently typed Clojure DSL with a Lean4 compatible kernel.

No plain-English explanation yet — one is being written right now. Check back in a minute.