Idris (programming language): Difference between revisions

Revision as of 13:40, 27 April 2020

Revision as of 14:53, 27 April 2020

Line 42:

</source>

The only differences between this program and its [[Haskell (programming language)#Code examples|Haskell equivalent]] are the single colon (instead of twodouble) colon in the [[Typetype signature|signature]] of the main function, and the omission of the word "where" in the module declaration.<ref>{{cite web|url=https://docs.idris-lang.org/en/v1.3.2/reference/syntax-guide.html|title=Syntax Guide — Idris 1.3.2 documentation|access-date=27 April 2020}}</ref>

===Inductive and parametric data types===