Going to shoot for an alternate route to Type Theory from here, avoiding Empty Set. Fingers crossed.

Going to shoot for an alternate route to Type Theory from here, avoiding Empty Set. Fingers crossed.

Leave a comment

Your email address will not be published. Required fields are marked *


8 − = five

Leave a Reply