Responding to an email question from a listener, I explain how to derive a form of inconsistency from the assumption that True is related to False at type Bool.
Want to check another podcast?
Enter the RSS feed of a podcast, and see all of their public statistics.
