Clojurians Log v2

no

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