9 prop_factorial_greater :: Int -> Property
10 prop_factorial_greater n =
11 n <= 20 ==> factorial n >= n
16 TestCase $ assertEqual "flatten actually works" expected_list actual_list
18 target = [[[1::Int]], [[2, 3]]]
19 expected_list = [1, 2, 3]
20 actual_list = flatten target
23 misc_tests = [ test_flatten1 ]