clafer-0.4.0: test/doctests.hs

import Test.DocTest

main :: IO ()
main = doctest ["-isrc", "src/Language/Clafer/Intermediate/TypeSystem.hs"]