When is dropping down to K necessary?
As I understand it, q is to some extent a subset of K4. Since resources for q are rather meager, I'm also drawing on stuff I can find related to K3 and J. When translating code from these languages to q, I'd like to know for what kinds of tasks I wou...