[PRL] circular haskell programs

Paul A. Steckler steck at stecksoft.com
Thu Jun 30 12:59:54 EDT 2005

Previous message: [PRL] circular haskell programs
Next message: [PRL] circular haskell programs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> You use co-induction. -- Matthias

Sure, but how do you intuit the existence 
of that greatest fixed point?

-- Paul

Previous message: [PRL] circular haskell programs
Next message: [PRL] circular haskell programs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the PRL mailing list