Hi, I'm Aria. I'm a University of Edinburgh student, interested in systems design, type theory, and infrastructure. The work here is very outdated - I don't like GitHub for several reasons. For what I'm working on, see my website