37878528bf
When this code was originally written, all variables were given unique names, making it unnecessary to check for shadowing. |
||
---|---|---|
.. | ||
Canonicalize.hs | ||
Check.hs | ||
Optimize.hs | ||
SortDefinitions.hs | ||
Substitute.hs |
37878528bf
When this code was originally written, all variables were given unique names, making it unnecessary to check for shadowing. |
||
---|---|---|
.. | ||
Canonicalize.hs | ||
Check.hs | ||
Optimize.hs | ||
SortDefinitions.hs | ||
Substitute.hs |