module Main where

import Specs

main :: IO ()
main = runSpecs