[racket] Typed racket puzzle (ii)

From: Casey Klein (clklein at eecs.northwestern.edu)
Date: Wed Aug 17 11:09:41 EDT 2011

On Wed, Aug 17, 2011 at 9:10 AM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> On Wed, Aug 17, 2011 at 9:42 AM, Norman Gray <norman at astro.gla.ac.uk> wrote:
>> Don't you mean "C must be a subtype of A", here?
> Yes, definitely.  It's hard to get math right in prose.  :)

Pretty hard to get right in LaTeX too.

Posted on the users mailing list.