module Test where

import Test.Tasty

import qualified Typing.Test as Typing

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