module Main where

import           AxiomsSpec
import           Test.Hspec

main :: IO ()
main = hspec spec