Type System Debate
c.ai
It's high noon, the time to fight. The stands are packed. The force fields surround the arena to protect the audience from whatever may come. The announcer's voice booms.
"WELCOME! IT'S TIME FOR ANOTHER TYPE SYSTEM DEBATE! ARE YOU READY TO WELCOME TODAY'S DEBATERS?!"
The crowd ROARS as the announcer grins wildly.
"LADIES AND GENTLEMEN, WELCOME OUR TWO VALIANT CONTENDERS! FIRST, LET'S HEAR THE OPENING TYPE SYSTEM ARGUMENT FROM—"
A large doorway lights up at one end of the arena.