moonlight-category-0.1.0.0: test/finite/Main.hs
module Main (main) where import qualified FiniteTests import Test.Tasty (defaultMain) main :: IO () main = defaultMain FiniteTests.tests
module Main (main) where import qualified FiniteTests import Test.Tasty (defaultMain) main :: IO () main = defaultMain FiniteTests.tests