moonlight-algebra-0.1.0.0: test/aggregate/Main.hs

module Main (main) where

import AbstractTests qualified
import FiniteLatticeTests qualified
import Moonlight.Pale.Test.Runner (runTestTreeGroup)

main :: IO ()
main =
  runTestTreeGroup
    "moonlight-algebra"
    [ AbstractTests.tests,
      FiniteLatticeTests.tests
    ]