Re: [racket-users] parenthesis shading in DrRacket 6.6

2016-08-06 Thread Robby Findler
I don't suppose you are using GTK machines? Robby On Sat, Aug 6, 2016 at 5:35 PM, Danny Heap wrote: > I recently upgraded to 6.6 on a few machines. I think the shades-of-blue > doesn't work as it did: I see one uniform shade of blue across an entire > nested expression,

[racket-users] parenthesis shading in DrRacket 6.6

2016-08-06 Thread Danny Heap
I recently upgraded to 6.6 on a few machines. I think the shades-of-blue doesn't work as it did: I see one uniform shade of blue across an entire nested expression, rather than darker shades for deeper expressions. I really like the shades-of-[blue, grey] feature. I find it helps students

[racket-users] racket in geiser (in Emacs): switch language in live REPL to plai-typed?

2016-08-06 Thread Lawrence Bottorff
So, I can start a racket REPL in Emacs geiser. Then I can type (require typed/racket) and it seems to take, i.e., I'm ready to go with basic typed racket. This works as well from org-mode "babel" code blocks. Now I'd like to do the same with plai-typed -- so I can follow along with the PLAI