extensional equality, judgmental equality, ... https://ncatlab.org/nlab/show/equality …
-
-
-
And this is just the beginning! Perhaps a third of English speakers operationally understand variables, but all programmers do. And try to find an true English-language equivalent of basic ideas like "scope", "closure", "stack", "tail recursion", "continuation", "duck typing"...
End of conversation
New conversation -
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.