-
Gilles Coremans authored
The code now properly generates all possible substitutions that may be made in any given type, including taking free variables into account.
fd759d06
The code now properly generates all possible substitutions that may be made in any given type, including taking free variables into account.