test-framework-leancheck-0.0.1: mk/Toplibs.hs

-- Using ghc --make in this module triggers compilation of every library.
module Toplibs () where

import Test.Framework.Providers.LeanCheck ()