From 228e39067e73d9e64f71334f7eb6fa6ebda937e0 Mon Sep 17 00:00:00 2001 From: Rachel Lambda Samuelsson Date: Tue, 25 Jul 2023 12:13:12 +0200 Subject: [PATCH] fix link in about --- about.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/about.html b/about.html index 1a77087..1b66508 100644 --- a/about.html +++ b/about.html @@ -10,7 +10,7 @@ title: "about"

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.

+

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

contact