On Wed, Aug 17, 2011 at 9:10 AM, Sam Tobin-Hochstadt <[email protected]> wrote: > On Wed, Aug 17, 2011 at 9:42 AM, Norman Gray <[email protected]> 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
