| > The paper has a strongly tutorial flavour, and comes complete with a | > prototype implementation that you can play with. |=20 | Does the prototype implementation not support recursive lets? |=20 | *Main> tcs "let fix =3D (\\f . f (fix f)) in fix" | Not in scope: `fix' No it does not. As the paper explains.=20 Easy exercise: add recursive lets! Simon