module Spec where -- import Test.Tasty -- import Test.Tasty.HUnit main :: IO () main = do putStrLn "Not implemented" -- defaultMain tests -- tests :: TestTree -- tests = testGroup "Tests" -- [ testCase "TODO" testExample ] -- testExample :: Assertion -- testExample = pure ()