teo :heart_nb: teo@cathode.church
Hi I'm teo.
I spend a lot of my time working with computers. I'm interested in functional programming (haskell, nix, rust, agda mostly), formal methods, wikis, public transport and being critical of tech.
I am queer and oppose hierarchy in all its forms.