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

Follow

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

Sign in to participate in the conversation
types.pl

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