8 Jul
2003
8 Jul
'03
2:26 a.m.
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