module Test where import Test.Tasty import qualified Typing.Test as Typing import qualified Compiling.Test as Compiling import qualified Parsing.Test as Parsing main :: IO () main = defaultMain $ testGroup "Language.Symantic" [ Typing.tests , Compiling.tests , Parsing.tests ]