In much the same way rhetorically asking ‘After all, what is a computer program but a proof in an intuitionistic logic?’ doesn’t rule out ‘a series of imperative sentences’.
In much the same way rhetorically asking ‘After all, what is a computer program but a proof in an intuitionistic logic?’ doesn’t rule out ‘a series of imperative sentences’.