#introductions

I'm Rebecca (she/her). First time mastadon user. I love #haskell #idris #coq and #PLT but I get paid to do #devops and I sometimes write #go. I also love #birds, #food, and #socialjustice.

I'm #queer, #vegan, and one of the #WomenInTech.