PascalsTriangle - 0.1.0



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.


scanIterate : {A : Type}Nat(AA)AList ASource#

Return a list of repeated applications of a given function

singleton : {A : Type}AList ASource#

Produce a singleton List

concat : List StringStringSource#

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

pascalNextRow : List NatList NatSource#

Compute the next row of Pascal's triangle

pascal : NatList (List Nat)Source#

Produce Pascal's triangle to a given depth