Simplify the Constraint projection

[haskell/symantic.git] / Language / Symantic / Test.hs

module Test where

import Test.Tasty

import qualified Typing.Test as Typing

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