hypertypes-0.2.2: test/Spec.hs

import qualified AlphaEqTest
import qualified BlameTest
import Control.Lens.Operators
import qualified LangATest
import qualified LangBTest
import Test.Tasty

import Prelude

main :: IO ()
main =
    testGroup
        "Tests"
        [ testGroup "infer" [LangATest.test, LangBTest.test]
        , AlphaEqTest.test
        , BlameTest.test
        ]
        & defaultMain