6 ms·
I fail to see how you couldn't specify a pure language using a pure subset of a sufficiently expressive impure language.
by s_ngularity 9y ago
I fail to see how you couldn't specify a pure language using a pure subset of a sufficiently expressive impure language.