Going to shoot for an alternate route to Type Theory from here, avoiding Empty Set. Fingers crossed. Posted on March 27, 2021 by Kenneth Udut Leave a comment Going to shoot for an alternate route to Type Theory from here, avoiding Empty Set. Fingers crossed. 🔊 Listen to this Leave a comment Cancel reply Your email address will not be published. Required fields are marked * Name * Email * Website seven − = 4 Comment Leave a Reply