import Test.DocTest

main = doctest ["src/Test/DocTest/Prop.hs"]