moonlight-delta-0.1.0.0: test/laws/Main.hs

module Main (main) where

import qualified CrossCarrierLaws
import Test.Tasty (defaultMain)

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