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