ParentFull threadhi-v-rocknroll·Forth is tic-tac-toe and dependent typing is global thermonuclear war.View on HN