Revision as of 05:32, 14 November 2014 edit Bgwhite (talk \| contribs) Extended confirmed users 547,151 edits WP:CHECKWIKI error fix #61 Punctuation before ref. Do general fixes and cleanup if needed. - using AWB (10486) ← Previous edit		Revision as of 07:46, 14 November 2014 edit undo Bgwhite (talk \| contribs) Extended confirmed users 547,151 edits missing source tag using AWB (10486) Next edit →
Line 68: Nil : Vect 0 a (::) : (x : a) -> (xs : Vect n a) -> Vect (n + 1) a </source> This type can be used as follows:

Idris (programming language): Difference between revisions