3 ms·I think the point is that it is easier to formally verify a non-Turing-complete PLby ddrdrck_ 7y agoI think the point is that it is easier to formally verify a non-Turing-complete PL