main :: IO ()
main = hspec $ do
  testArith
  testUntyped
  testFullUntyped
  testTyArith
  testSimpleBool
  testFullSimple
  testFullRef
  testFullError
  testRcdSubBot
  testFullSub
  testFullEquiRec
  testFullIsoRec
  testFullPoly
  testFullOmega
main :: IO ()
main = hspec $ do
  testArith
  testUntyped
  testFullUntyped
  testTyArith
  testSimpleBool
  testFullSimple
  testFullRef
  testFullError
  testRcdSubBot
  testFullSub
  testFullEquiRec
  testFullIsoRec
  testFullPoly
  testFullOmega
main = hspec $ do
  testArith
  testUntyped
  testFullUntyped
  testTyArith
  testSimpleBool
  testFullSimple
  testFullRef
  testFullError
  testRcdSubBot
  testFullSub
  testFullEquiRec
  testFullIsoRec
  testFullPoly
  testFullOmega