CarneadesIntoDung-2.0.0.0: test/Main.hs

module Main (main) where

import Test.Tasty

import qualified Test.Language.CarneadesIntoDung.Translation as Translation

main :: IO ()
main = defaultMain $ testGroup "CarneadesIntoDung"
  [ Translation.tests
  ]