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

im gonna draw a ρ so messed up that unicode gives it a separate code point

@ionchy wait is that meant to be a ρ too??? i was thinking of ϱ

@g oOOOooooHH lmao
I thought that was a sigma tho lol

Follow

@g (also yeah ℘ is just a p lmao)

Sign in to participate in the conversation
types.pl

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