Typed Racket
![]() - free-idxs no longer holds free de Bruijn indexes This information is not needed, and not stored anywhere - free-idxs holds free *index* variables, in the sense of the TOPLAS submission original commit: 662f982b724e7194f5729a9894fc642f06e7910f |
||
---|---|---|
collects |