From 3263836cde8e10f1affef2977b8dd0cb58bf5e4d Mon Sep 17 00:00:00 2001 From: depsterr Date: Sun, 12 Mar 2023 19:30:37 +0100 Subject: [PATCH] add middle name --- about.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/about.html b/about.html index 3026986..1a77087 100644 --- a/about.html +++ b/about.html @@ -7,7 +7,7 @@ title: "about"

me

-

My name is Rachel Samuelsson, and my pronouns are she/her. I'm an undergrad at Chalmers University of Technology, studying computer science and engineering. My interests include functional programming, type theory, univalent mathematics, foundations, logic and category theory. I'm a fan of Haskell, Agda, Idris and Scheme. I'm currently living in Emacs, and it's quite cozy.

+

My name is Rachel Lambda Samuelsson, and my pronouns are she/her. I'm an undergrad at Chalmers University of Technology, studying computer science and engineering. My interests include functional programming, type theory, univalent mathematics, foundations, logic and category theory. I'm a fan of Haskell, Agda, Idris and Scheme. I'm currently living in Emacs, and it's quite cozy.

web

This is a website where I post whatever I feel like, the source of which is available at my git.