diff --git a/_layouts/centered.html b/_layouts/centered.html index c91ddf8..d0ee379 100644 --- a/_layouts/centered.html +++ b/_layouts/centered.html @@ -12,9 +12,10 @@ layout: default

diff --git a/about.html b/about.html index e61080c..b8c2402 100644 --- a/about.html +++ b/about.html @@ -8,6 +8,9 @@ title: "about"

me

My name is Rachel Lambda Samuelsson, my pronouns are she/her. I'm an undergrad at Chalmers University of Technology, studying computer science and engineering. My interests include type theory, univalent mathematics, category theory, logic, and functional programming. If I write code it is probably in Agda, Idris, or Haskell.

+

this site

+

This site hosts my blog, a gallery of photos I've taken, and a quick informal CV.

+

contact