3 ms·Why would it be hard to prove that functional code is actually runnable?by kephasp 4y agoWhy would it be hard to prove that functional code is actually runnable?