Use highordtest in main, since that can now be normalized.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 18 Jun 2009 13:27:28 +0000 (15:27 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 18 Jun 2009 13:27:28 +0000 (15:27 +0200)
commit3fb6a3a819f85d89853660347b42f6085d20fb57
treee6de2eb56b3889458808d8f1ebbca8f32ec407ed
parent2b625f3b78898f203ba5c542d6421f1f73d28e4f
Use highordtest in main, since that can now be normalized.
Translator.hs