tfw they touch the green slime
I'm Not Sure If There Should Be A Case For The Co
whenever someone runs into this problem on the agda list (often) i start chanting 'green slime green slime' under my breath
i think my brain is broken
everyone is thinking 'what the Fuck are you talking about' but im not sure how to explain without it being too long to be worth reading
but the guy with the funy paper titles. it's his fault again
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.