G'day all. On Mon, Jul 07, 2003 at 11:23:59AM +0100, Simon Peyton-Jones wrote: > The paper has a strongly tutorial flavour, and comes complete with a > prototype implementation that you can play with. Does the prototype implementation not support recursive lets? *Main> tcs "let fix = (\\f . f (fix f)) in fix" Not in scope: `fix' Cheers, Andrew Bromage