Re: [Haskell-cafe] finding the right mathematical model

2010-07-04 Thread Andrew Korzhuev
What sort of model would be suitable to describe this, some sort of matrix? You still can get loops if your matrix represents graph. Sounds like you need a tree. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/lis

Re: [Haskell-cafe] understanding Peano

2010-07-03 Thread Andrew Korzhuev
Hi, I would like to understand the Peano module below. I do wish to implement or improve the code. I am unsure of the semantics of (suc = Suc) and then the subsequent use of (Suc n) Look's like author would like to declare an increment function instead of suc lately. Is this an example of