module Main (main) where import Test.DocTest (doctest) main :: IO () main = doctest ["library/Overture.hs"]