Slides of a (very) informal lecture of mine on the Curry-Howard correspondence
1 0001001101100110101111001101110101101000010101011 2 1011110110000011000111001010000010110011111010000 3 0100111000100010100011001000000110001000110011011 4 0010011000001001101001010000011010111011000010110 5 1101111111101001010011010000111010011000111100111