Amélia Liao @amy@types.pl

Student of homotopy type theory and (higher) category theory (this account adheres to the implicit ∞-category convention).

I help maintain Agda Γ ⊢ 🐔, maintain the 1Lab 🧊🔬, and very occasionally write on my blog 👩‍🏫✍️