Dependently typed Clojure DSL with a Lean4 compatible kernel

2 points | by yogthos 9 hours ago