[racket] Typed racket puzzle (ii)

Anthony, hello.

On 2011 Aug 17, at 14:40, Anthony Cowley wrote:

> Norman, one resource on this topic with an ML flavor is
> <http://www.cis.upenn.edu/~bcpierce/sf/Subtyping.html>

Thanks -- duly bookmarked.  That looks nice, as both maths and as pedagogy.

Best wishes,

Norman


-- 
Norman Gray  :  http://nxg.me.uk
School of Physics and Astronomy, University of Glasgow, UK