Olá pessoal, estou novo (bem verdinho) aqui no Fórum e espero aprender bastante e contribuir bastante também com todos aqui.
Iniciando, e, como iniciante no paradigma funcional, gostaria de entender melhor como funciona o QuickCheck no haskell, como eu estabeleço ou crio as propriedades para testar os scripts.
Exemplo:
maiorDeTres::Int->Int->Int->Int
maiorDeTres a b c
| a>=b && a>=c = a
| b>=a && b>=c = b
| otherwise = c
Qual é a lógica para se implementar as "prop_"s ? Desde já agradeço pela ajuda.