This is an extremely niche use of types, but I'm finding that manipulating de Bruijn indices is almost pleasant when the type checker tells me what to do... data Term : List Name -> Type
-
-
Replying to @edwinbrady
What do you mean exactly by “manipulating the de Bruijn indices” ?
are you changing variable assignments, the scopes of abstractions, or something else?1 reply 0 retweets 0 likes
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.