Dependently typed Clojure DSL with a Lean4 compatible kernel

(github.com) by yogthos | Jun 28, 2026 | 0 comments on HN