⊢ Γ boosted

i love how the local time line on here fluctuates wildly between actual academics talking about serious topics and ":dragnblanket: "

all niss accounts eventually degrade to badly drawing cartoon animals

just found out exactly how reliant i am on being able to rotate + zoom the canvas

⊢ Γ boosted
⊢ Γ boosted
⊢ Γ boosted
⊢ Γ boosted

*mathematician voice* oh shit a greek letter, better write it as fucked up as possible

⊢ Γ boosted

I can't invite Conor McBride to types.pl because then we can't subtoot about him anymore

actually no it's probably "right tack gamma". thanks unicode

Show thread
Show older
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.