> Is this the right story? One of my difficulties is that I'm having > trouble grasping what coinduction might mean for terms.
The following tutorial paper may be helpful: http://www.cs.nott.ac.uk/~gmh/corecursion.pdf Best wishes, Graham +-----------------------------------------------------------------+ | Dr Graham Hutton Email : [email protected] | | Functional Programming Lab | | School of Computer Science Web : www.cs.nott.ac.uk/~gmh | | University of Nottingham | | Jubilee Campus, Wollaton Road Phone : +44 (0)115 951 4220 | | Nottingham NG8 1BB, UK | +-----------------------------------------------------------------+ _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
