On Mon, Mar 6, 2017 at 1:18 AM, kay <klu...@gmail.com> wrote: > Looks like it might be worth mentioning somewhere in the documentation
Good idea, what do you think of this change: https://github.com/racket/typed-racket/pull/508 -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.