sum-pyramid-0.0: test/TestMain.hs

-- Do not edit! Automatically created with doctest-extract.
module Main where

import qualified Test.UniqueLogic
import qualified Test.LinearAlgebra

import qualified Test.DocTest.Driver as DocTest

main :: IO ()
main = DocTest.run $ do
    Test.UniqueLogic.test
    Test.LinearAlgebra.test