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:
Cubical Type Theory March 7, 2021
On Induction January 15, 2021
Reflections on Equality October 30, 2020
This Sentence is False, or: On Natural Language, Typing and Proof September 9, 2020
The Semantics of Evaluation & Continuations July 12, 2020
…or you can find more in the archives.