yes I know the image is broken.
idk how to fix it leave me alone
Jonathan Chan
CS PhD student @ UPenn
[he / they] ⦁
#WaterDrinker
Home
Blog
CV
⟬ bob's club webring ⟭
⏪
 〰 
🔀
 〰 
⏩
© 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