tests =
  [  PTS.Syntax.Parser.Tests.tests
  ,  PTS.Syntax.Pretty.Tests.tests
  ,  PTS.Syntax.Substitution.Tests.tests
  ,  testFile True ["examples"] "Arithmetics.lpts"
  ,  testFile True ["examples"] "ChurchNumbers.lpts"
  ,  testFile True ["examples"] "Functions.lpts"
  ,  testFile True ["examples"] "Inference.lpts"
  ,  testFile True ["examples"] "Syntax.lpts"
  ]
tests =
  [  PTS.Syntax.Parser.Tests.tests
  ,  PTS.Syntax.Pretty.Tests.tests
  ,  PTS.Syntax.Substitution.Tests.tests
  ,  testFile True ["examples"] "Arithmetics.lpts"
  ,  testFile True ["examples"] "ChurchNumbers.lpts"
  ,  testFile True ["examples"] "Functions.lpts"
  ,  testFile True ["examples"] "Inference.lpts"
  ,  testFile True ["examples"] "Syntax.lpts"
  ]
tests =
  [  PTS.Syntax.Parser.Tests.tests
  ,  PTS.Syntax.Pretty.Tests.tests
  ,  PTS.Syntax.Substitution.Tests.tests
  ,  testFile True ["examples"] "Arithmetics.lpts"
  ,  testFile True ["examples"] "ChurchNumbers.lpts"
  ,  testFile True ["examples"] "Functions.lpts"
  ,  testFile True ["examples"] "Inference.lpts"
  ,  testFile True ["examples"] "Syntax.lpts"
  ]