{- Copyright: (c) 2016 Stephen Diehl (c) 2016-2018 Serokell (c) 2018-2019 Kowainik License: MIT Maintainer: Kowainik -} module Main where import Relude import Test.Tasty (defaultMain) import Test.Relude.Property (hedgehogTestTree) main :: IO () main = defaultMain hedgehogTestTree