moonlight-algebra-0.1.0.2: test/finite-lattice/Main.hs

module Main (main) where

import FiniteLatticeTests qualified
import Test.Tasty (defaultMain)

main :: IO ()
main =
  defaultMain FiniteLatticeTests.tests