Exercises.GettingStarted

topTen : Ord a => (list : List a) -> List a

Return the largest ten values in a list.

list

a list of values contstrained by Ord

overLength : (len : Nat) -> List String -> Nat

Count the number of strings in list that are over a given length.

len

the lower bound (exclusive) of string length

exercise1_3 : ((Char, String), Char)

exercise1_2 : List String

exercise1_1 : (String, String, String)

counts : (str : String) -> (Nat, Nat)

Compute the number of words and number of characters in a string.

str

a string to analyze