RE: Higher rank types

| > 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' No it does not. As the paper explains. Easy exercise: add recursive lets! Simon