typelet-0.1.0.0: test/TestTypeLet.hs
module Main (main) where
import Test.Tasty
import qualified Test.Sanity
main :: IO ()
main = defaultMain $ testGroup "TestTypeLet" [
Test.Sanity.tests
]
module Main (main) where
import Test.Tasty
import qualified Test.Sanity
main :: IO ()
main = defaultMain $ testGroup "TestTypeLet" [
Test.Sanity.tests
]