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 )