*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
@g I love the funky p so much ℘℘℘℘
@ionchy wait is that meant to be a ρ too??? i was thinking of ϱ
@g oOOOooooHH lmaoI thought that was a sigma tho lol
@g turns out I was thinking of ς
@g (also yeah ℘ is just a p lmao)
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.