predicate-typed-0.7.0.0: doctest/doctests.hs

import Test.DocTest
-- main = doctest ["src", "--verbose"]
main :: IO ()

main = doctest ["src","-XNoStarIsType"]
--main = doctest ["src","--verbose","-XNoStarIsType"]


-- stack exec doctest -- "src/Predicate/Prelude.hs"
-- stack exec doctest -- src