[Haskell] Fwd: Mutually dependent functions

Tomasz Zielonka tomasz.zielonka at gmail.com
Tue Jun 12 13:34:55 EDT 2007


On Tue, Jun 12, 2007 at 05:19:37PM +0200, Wolfgang Jeltsch wrote:
> It is always the *least* fixpoint. For example, (0 *) has the fixpoint _|_ 
> (because 0 * _|_ = _|_) but every integer is also  a fixpoint of it.  

0 * 5 = 5 ?

You probably meant (1 *) or (0 +).

Best regards
Tomek


More information about the Haskell mailing list