Skip to main content
Extensional existence
Archive
About this blog
Personal site
RSS feed
Posts for year 2019
2019-08-23 00:00
A short primer on type theory