{-# LANGUAGE ScopedTypeVariables #-} -- We will explain why we need this later
module GettingStarted (runTests) where
import Test.QuickCheck

payDutch :: Int -> Int -> [Int]
payDutch amount people = take people $ repeat amount

prop_dutchLength :: NonNegative Int -> NonNegative Int -> Property
prop_dutchLength (NonNegative n) (NonNegative len) = (length $ payDutch n len) === len

runTests :: IO ()
runTests = do
  quickCheck prop_dutchLength


{-# LANGUAGE ScopedTypeVariables #-} -- We will explain why we need this later
module GettingStarted where

runTests = do
  putStrLn "something along the lines of: quickCheck prop_SquareRootOfNSquaredEqualsN goes here"


Revert "Length correct, with fake division of money"
Revert "Length correct, with fake division of money"

This reverts commit 01fb9f18c78419bba983240db10b3e46cd3be5c6.
