tptp-0.1.0.0: test/DocTests/Main.hs

module Main where

import Test.DocTest (doctest)

main :: IO ()
main = doctest ["-isrc", "--fast", "src/Data/TPTP.hs"]