]> Git — Sourcephile - haskell/symantic.git/blob - Language/Symantic/Test.hs
Simplify the Constraint projection
[haskell/symantic.git] / Language / Symantic / Test.hs
1 module Test where
2
3 import Test.Tasty
4
5 import qualified Typing.Test as Typing
6
7 main :: IO ()
8 main =
9 defaultMain $
10 testGroup "Language.Symantic"
11 [ Typing.tests
12 ]