+1
> On Oct 8, 2018, at 11:57 AM, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> wrote: > > A suggestion: what if #; comments used the code coloring, but shifted > somewhat, or grayscaled, or something along those lines? > > Sam > On Mon, Oct 8, 2018 at 11:56 AM Matthias Felleisen > <matth...@felleisen.org> wrote: >> >> >>> On Oct 8, 2018, at 11:44 AM, Greg Hendershott <greghendersh...@gmail.com> >>> wrote: >>> >>> p.s. >>> >>> On Mon, Oct 8, 2018 at 11:41 AM Greg Hendershott >>> <greghendersh...@gmail.com> wrote: >>>> Another use case (that Mattias might not love) is somewhere for "usage >>> >>> Apologies for the typo, Matthias! >> >> >> No worries. >> >> And for the record, I also use #; for commenting out examples >> also when I work thru them. But I still feel code style is good >> for those. >> >> -- >> 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. -- 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.
