module Main (main) where

import qualified Moonlight.Triangulation.AlgebraSpec as AlgebraSpec
import qualified Moonlight.Triangulation.ScheduleAgreementSpec as ScheduleAgreementSpec

main :: IO ()
main = do
  AlgebraSpec.tests
  ScheduleAgreementSpec.tests