Talk:Peano numbers
Jump to navigation
Jump to search
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)