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