Revision as of 07:46, 14 November 2014 edit Bgwhite (talk \| contribs) Extended confirmed users 547,151 edits missing source tag using AWB (10486) ← Previous edit		Revision as of 22:32, 26 November 2014 edit undo 49.182.140.195 (talk) →Dependent types Next edit →
Line 62: ====Dependent types==== With [[Dependent ~~Types~~Type\|dependent types]], it is possible for values to appear in the types; in effect, any value-level computation can be performed during typechecking. The following defines a type of lists of statically known length, traditionally called 'vectors': <source lang="haskell">

Idris (programming language): Difference between revisions