Description

Pascal's triangle is the arrangement of binomial coefficients in a triangular array. The rows of the triangle are staggered so that each number can be computed as the sum of the numbers to the left and right in the previous row. The function pascal produces the triangle to a given depth.

Definitions

scanIterate {A} : (n : Nat) -> (fun : A -> A) -> (value : A) -> List ASource #

Return a list of repeated applications of a given function

singleton {A} (value : A) : List ASource #

Produce a singleton List

concat (list : List String) : StringSource #

Concatenates a list of strings concat (("a" :: nil) :: "b" :: nil) evaluates to "a" :: "b" :: nil

intercalate (sep : String) (xs : List String) : StringSource #

showList (xs : List Nat) : StringSource #

pascalNextRow (row : List Nat) : List NatSource #

Compute the next row of Pascal's triangle

pascal (rows : Nat) : List (List Nat)Source #

Produce Pascal's triangle to a given depth

main : IOSource #