module Test where

import Test.Tasty

import qualified Typing.Test as Typing
import qualified Compiling.Test as Compiling

main :: IO ()
main =
	defaultMain $
	testGroup "Language.Symantic"
	 [ Typing.tests
	 , Compiling.tests
	 ]