Is `List Name` your previous version?
-
-
-
It wasn't that terrible. The fact that they're "Names" isn't really relevant though. All that matters is that they are distinct things so that I can throw the runtime integers around with confidence :)
- 2 more replies
New conversation -
-
-
This Tweet is unavailable.
-
Hmm. I didn't accidentally say anything about voting Conservative or wanting Australia to win at cricket did I?
End of conversation
-
-
-
What do you mean exactly by “manipulating the de Bruijn indices” ?
are you changing variable assignments, the scopes of abstractions, or something else? -
yes :)
End of conversation
New conversation -
-
-
Ooh, reminds me of Forth dictionaries, but with types! Does searching for an index by name favor the left-most match?
-
These are compile time only, to ensure that any manipulation is consistent with what it's supposed to be. e.g. substitute : Term vars -> Term (x :: vars) -> Term vars
End of conversation
New conversation -
-
-
Oh I thought that was almost standard usage...
-
I too forget
@bentnib’s law of Cylon detection - 3 more replies
New conversation -
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.