Make substitute work for type variables as well.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Sun, 21 Jun 2009 14:48:20 +0000 (16:48 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Sun, 21 Jun 2009 14:52:58 +0000 (16:52 +0200)
commitf20ebcfe03b2f3493be450761c8b3a26c2e0cd30
treed5c32f7cbf35ea2658552365a6a4849e37a35300
parenta4d372dbdfce2a3bddfda1c352f8dd05146f4f71
Make substitute work for type variables as well.
NormalizeTools.hs