me
-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.
+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.
web
This is a website where I post whatever I feel like, the source of which is available at my git.