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
+-
+
- email: depsterr@protonmail.com +
- fedi: @rachelrosen@types.pl +