--- title: Home ---

## Hi!

I'm Amélia, a non-binary (they/them) mathematician & programmer. This blog is where I write about programming languages: their implementation, their semantics, etc.

In addition to this blog, I maintain the 1Lab, a formalised, cross-linked reference resource for Homotopy Type Theory, done in Cubical Agda.

My most significant project other than this blog and the 1lab is Amulet, a functional programming language in the ML tradition with support for advanced type-level programming.

## Posts

Here are the lastest 5 posts from the blog:

$partial("templates/post-list.html")$

…or you can find more in the archives.