Typed Racket
Go to file
Sam Tobin-Hochstadt 380885f978 Implement substitutions as hash tables from vars to subst-rhs.
- add convenience function for generating substitutions
 - give trivial substitution for unreferenced index variables

original commit: 339add9f78723fecb3e7332a8a173f615c37bc2c
2010-06-21 18:30:28 -04:00
collects Implement substitutions as hash tables from vars to subst-rhs. 2010-06-21 18:30:28 -04:00