Digit-0.0.1: A data-type representing digits 0-9
Test.Data.Digit
main :: IO ()Source
digitTests :: [Test]Source
prop_fold :: Digit -> BoolSource
prop_if :: Int -> Int -> Digit -> BoolSource
prop_even_odd :: Int -> Int -> Digit -> BoolSource