Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Added to observational type theory a link to a blog post (provided by Jon Sterling) that treats propositional extensionality.
I’m not sure if you meant the blog post was written by Jon Sterling, but I believe that’s Conor McBride ’s blog
Sorry, that was badly worded; I meant that Jon pointed me to the blog post (“provided the link”). But I did neglect to attribute the post to Conor in the references list, so I’ve now rectified that.
1 to 4 of 4