Revision as of 11:33, 29 April 2014 edit Daejo (talk \| contribs) 2 edits m →Syntax: Removed unnecessary parens ← Previous edit		Revision as of 11:34, 29 April 2014 edit undo Daejo (talk \| contribs) 2 edits →Syntax: More unnecessary parens Next edit →
Line 46: append : Vect n a -> Vect m a -> Vect (n + m) a append Nil ys = ys append (x :: xs) ys = x :: (append xs ys) </source>

Idris (programming language): Difference between revisions