Main.idr

module Main

palindrome : Nat -> String -> Bool
palindrome m word = ( toLower word == toLower (reverse word) ) && (length word > m)

counts: String -> (Nat, Nat)
counts sentence = (length (words sentence), length sentence)

top_ten: Ord a => List a -> List a
top_ten list = take 10 (reverse (sort list))

over_length: Nat -> List String -> Nat
over_length limit strings = length (filter ( \string => length string > limit) strings)

main: IO ()
main = repl "Enter a string: " countToString
  where
    countToString : String -> String
    countToString string = show (counts string) ++ "\n"