Deriving disjointness of constructor ranges in RelTT
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.
Explore " disjoint constructor ranges " with insightful episodes like and "Deriving disjointness of constructor ranges in RelTT" from podcasts like " and "Iowa Type Theory Commute"" and more!
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.
Stay up to date
For any inquiries, please email us at hello@podcastworld.io