LX 🐌 lx

ArticlesSubscribersSubscriptions

Inductive nat : Type @nore@framapiaf.org

R&D engineer at OCamlPro, OCaml hacker, type systems enthusiast, math & games lover, core developer of Minetest.
Pronouns: she/her

Tixie Salander @tixie@mastodon.guerilla.studio

Daughter of Kiki πŸŽ€ and Lisbeth Salander ∴

Used to be a musician but now busy eating thinking sand because life is a beach β€” Love hating tech, what I make is for the few left out by the many

My name doesn’t contain letter R

Have a big heart under the protective thorns πŸ¦”

God is a girl with a butcher knife

NZI PNKS FCK OFF

(Mandatory tags πŸ˜’: #NoBot #NoArchive #NoIndex )