Fork me on GitHub
#core-typed
<
2020-06-09
>
whilo23:06:59

that is my understanding as well.

whilo23:06:05

thanks for the pointers.

whilo23:06:56

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

ambrosebs23:06:30

@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.

ambrosebs23:06:39

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