module Main where

import qualified QuicQuid.TermTest
import qualified QuicQuid.LogicTest
import qualified QuicQuid.RouterTest
import qualified QuicQuid.BrokerTest

main = do
  QuicQuid.TermTest.t
  QuicQuid.LogicTest.t
  QuicQuid.RouterTest.t
  QuicQuid.BrokerTest.t