Iโm Erin (she/her)
- ๐ Iโm interested in functional programming, category theory, and foundations of mathematics
- ๐ฑ Iโm currently learning Rust, Haskell, Nix, category theory, and homotopy type theory
- ๐ Iโm looking to collaborate on NixOS, Helix, and KMonad