9 ms·
For instance, if you want to make guarantees about program termination (as the author does here). This is not possible for Turing complete languages.
by tincholio 9y ago
For instance, if you want to make guarantees about program termination (as the author does here). This is not possible for Turing complete languages.