Fork me on GitHub
#core-typed
<
2022-08-06
>
didibus04:08:22

Is core.typed based on set-theoretic types?

ambrosebs19:08:13

there's a brief summary of the type theory it's built on at the bottom of this post: https://blog.ambrosebs.com/2020/03/30/what-type-clojure.html