Jonathan Chan
PhD CS student @ UPenn
[he / they] ⦁
#WaterDrinker
Home
Blog
CV
© 2023.
MIT Licence.
Notes
Notes on W Types and Inductive Types
03 Apr 2022
Notes on Untyped Conversion
15 Jan 2022
Notes on Propositional Equality
25 May 2021