all new agda burger which you order via the webapp but you just get the wrapper and in order to get the actual burger you have to follow a seven step process that involves editing a text file

"what's equality" - the greatest thread in the history of programming languages, locked after 8130 pages of debate,

I am not doing Advent of Code and I would recommend also not doing Advent of Code

WHO THE FUCK IS SCREAMING "REIFY" AT MY WINDOW. SHOW YOURSELF COWARD. I WILL NEVER REIFY.

She mon-in on my ad 'til I attempt to get a trace of linear execution and fuck up the entire stack.

just realized that none of these words are real

Show thread
Hazel :verified_dragon: boosted

:types_dot_pl:​​ ← what is this country and why are all the girls from here into type theory

Show thread
Show older

Hazel :verified_dragon:'s choices:

types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.