Idris (programming language): Difference between revisions

Revision as of 09:16, 25 July 2013

Revision as of 23:26, 31 July 2013

Line 5:

| designer = Edwin Brady

| developer =

| latest_release_version = 0.9.89

| latest_release_date = {{release_date|2013|0507|2831}}

| latest_test_version =

| latest_test_date =

Line 44:

<source lang="haskell">

total

append : Vect a n a -> Vect a m a -> Vect a (n + m) a

append Nil ys = ys

append (x :: xs) ys = x :: (append xs ys)

Line 56:

<source lang="haskell">

total

pairAdd : Num a => Vect a n a -> Vect a n a -> Vect a n a

pairAdd Nil Nil = Nil

pairAdd (x::xs) (y::ys) = (x+y) :: pairAdd xs ys