You've reached Abigail's blog, a place where I exposit and reflect on programming languages and type theory. Here's the posts I've written recently:
A quickie: Axiom J June 7, 2021
Cubical Type Theory March 7, 2021
On Induction January 15, 2021
Reflections on Equality October 30, 2020
The Semantics of Evaluation & Continuations July 12, 2020
…or you can find more in the archives.