When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones

https://welltypedwit.ch

Formal Methods, Programming languages, Specifications.

discord: wiredaemon

she / her 🏳️‍⚧️

Some kind of nerd by day and goblin by night.
CS-gas {,injections} knower / Cyclophosphamide my beloved.

📍 Glasgow, Scotland
📢 FR/EN/DE
🎨 Avatar by @chordbug.bsky.social

See also:
🐘 mastodon.social/@kit_ty_kate
🐞 https://cohost.org/kit-ty-kate

Alice

Kristin

Kate