subject:"\[racket\-users\] Thanks for slideshow, racket\/gui, and the rest\!"

Re: [racket-users] Thanks for slideshow, racket/gui, and the rest!

2016-09-20 Thread Robby Findler

I saw the talk and thought it was great! Robby On Tue, Sep 20, 2016 at 9:22 AM, David Christiansen wrote: > Today I delivered a talk at ICFP with slides written in slideshow, > with an embedded Idris interactive editor and REPL. The slides got > good feedback from

[racket-users] Thanks for slideshow, racket/gui, and the rest!

2016-09-20 Thread David Christiansen

Today I delivered a talk at ICFP with slides written in slideshow, with an embedded Idris interactive editor and REPL. The slides got good feedback from the audience. I used a similar setup for my PhD defense in January. Thanks so much to Matthew, Robby, and the rest of you for all the hard work