import Test.DocTest

main = doctest ["src/Test/Properties.hs"]