4 ms·Was about to post this as well. By far the neatest application of curry-howard i've stumbled on.by aufreak3 13y agoWas about to post this as well. By far the neatest application of curry-howard i've stumbled on.