Dependently typed Clojure DSL with a Lean4 compatible kernel

2 pointsposted 8 hours ago
by yogthos
(github.com)

No comments yet