module Test where

import Test.Tasty

import qualified Typing.Test as Typing
import qualified Lib.Test as Lib

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