On Wed, Aug 17, 2011 at 9:10 AM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote: > On Wed, Aug 17, 2011 at 9:42 AM, Norman Gray <nor...@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. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
