"what's equality" - the greatest thread in the history of programming languages, locked after 8130 pages of debate,
@hazel they really should have locked the thread after the math boards started dogpiling it
@be @hazel Or maybe ===?
@hazel Someone should tell the dependent type theorists that people don’t actually care😪
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.