Wet Sidewalks and Odd Numbers (opens in new tab)

Phil Crissman explains Propositions as Types with a dialogue between Achilles and the Tortoise, in the style of Douglas Hofstadter \(who in turn was inspired by Lewis Carrol\)\. Lambda Man makes an appearance\.