Sign up to save your podcasts
Or
Share Deriving disjointness of constructor ranges in RelTT
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
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.
View all episodes
By Aaron Stump
5
1616 ratings
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.