Revision as of 22:33, 26 November 2014 edit 49.182.140.195 (talk) →Dependent types ← Previous edit		Revision as of 11:44, 4 December 2014 edit undo 188.110.14.229 (talk) →Inductive and parametric data types Next edit →
Line 49: <source lang="haskell"> data Tree a = Node (Tree a) (Tree a) \| Leaf a </source>

Idris (programming language): Difference between revisions