⊢ Γ boosted
­jonoodle­

:konqi:​

Show thread
1
⊢ Γ

:dragncoolmlem_hacker:​

0
⊢ Γ

:dragnblanket:​

0
⊢ Γ

:dragnblanket:​

0
⊢ Γ

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

0
⊢ Γ

all niss accounts eventually degrade to badly drawing cartoon animals

0
⊢ Γ

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

0
⊢ Γ

:types_dot_pl:​

1
⊢ Γ

0
⊢ Γ boosted
hazel levine :ms_asleep:

uncaptioned image its 2am 

@FirstProgenitor its from a pl paper

1
⊢ Γ

🐬

0
⊢ Γ

is spreading

0
⊢ Γ boosted
Militant Kinnie :Mlm_vamp_enby_crossbow:​ :mlm_vampfox:​ :puzzle:​

this is so funny to me. wtf is dorp

1+
⊢ Γ

0
⊢ Γ

0
⊢ Γ boosted
david

cubical time theory

1
⊢ Γ

agdq = agda + qtt

0
⊢ Γ boosted
q.t. :dragnuwu: [gecs]

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

1+
⊢ Γ boosted
­jonoodle­

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

1+
⊢ Γ

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

Show thread
1
Show older
types.pl

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

Resources

Developers

What is Mastodon?

types.pl

More…