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 👩🏫✍️
hikari 🌟 (falling into the sky) @hikari@social.noyu.me
magical girl on the Internet⭐️EN/SV/DE⭐️she
this will, hopefully, be my permanent public fediverse presence!
check out my site for links to other places: hikari.noyu.me/