3 ms·The software I write is provably correct because it never changes the state of anything.by mypalmike 6y agoThe software I write is provably correct because it never changes the state of anything.