Difference between revisions of "Talk:Peano numbers"
Jump to navigation
Jump to search
(These numbers are actually co-inductive types.) |
(No difference)
|
Revision as of 21:34, 29 May 2011
Theoretically speaking, the numbers defined here are not Peano numbers. As far as I know it is difficult, if not impossible, to define inductive types in Haskell. The numbers here are co-inductive. In particular, 'infinity' is allowed as infinite lists are allowed. People who are looking for formal, theoretical foundation should take this Wiki page with a pinch of salt. --Favonia 21:34, 29 May 2011 (UTC)