Comment by hi-v-rocknroll

Forth is tic-tac-toe and dependent typing is global thermonuclear war.