Follow

"what's equality" - the greatest thread in the history of programming languages, locked after 8130 pages of debate,

· · Web · 3 · 5 · 23

@hazel they really should have locked the thread after the math boards started dogpiling it

@hazel Hmm, maybe JavaScript knows? == 🤔

@hazel Someone should tell the dependent type theorists that people don’t actually care😪

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.