module Main where

import Test.Hspec
import AxiomsSpec

main :: IO ()
main = hspec spec