Folly-0.1.1.0: test/Main.hs

module Main(main) where

import Folly.FormulaTests
import Folly.LexerTests
import Folly.ParserTests
import Folly.ResolutionTests
import Folly.UnificationTests

main = do
  allFormulaTests
  allLexerTests
  allParserTests
  allResolutionTests
  allUnificationTests