Fork me on GitHub
#off-topic
<
2020-03-31
>
lilactown01:03:32

is there a semantic difference between an “executor” and a “scheduler” in common usage?

Alex Miller (Clojure team)01:03:51

scheduler implies timing