module Main where

import Test.Framework (defaultMain)

import qualified TestNormalization as N

main :: IO ()
main = do
    nts ← N.normalizationTests

    defaultMain nts