5 ms·By the curry-howard correspondence, this is literally true.by vatsachak 6mo agoBy the curry-howard correspondence, this is literally true.