MSc. CS student @ UBC
[he/him] ⦁ #WaterDrinker

Home Blog CV

© 2022. 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