core-typed 2020-06-09

that is my understanding as well.

thanks for the pointers.

what is the current status of your turnstile port to clj?

@whilo haven't worked on it recently. but in summary, it's hooked up, there's a PoC rule for clojure.core/ns, and I'm uneasy about imposing the burden of manually interleaving evaluation & type checking on rules writers.

so I'm letting it sit there until I can fully think it over