Dependently typed Clojure DSL with a Lean4 compatible kernel
3 points
1 day ago
| 0 comments
| github.com
| HN
No one has commented on this post.