Slides of a (very) informal lecture of mine on the Curry-Howard correspondence
1 import random 2 3 # Katakana characters 4 CHARS = "01" 5 6 WIDTH = 50 7 HEIGHT = 15 8 9 print( 10 "\n".join( 11 "".join(random.choice(CHARS) for _ in range(WIDTH)) 12 for _ in range(HEIGHT) 13 ) 14 )