David Thrane Christiansen writes: > Hi Christopher, > >> Oh, this is very nice! I didn't even know there was a way to embed a >> REPL like this in slideshow! :) > > It's possible to embed arbitrary GUI widgets! > > Here's a talk that uses Slideshow with an embedded Idris editor and REPL > where the slides fire up an Idris compiler behind the scenes, > interacting with it over a socket: > > https://www.youtube.com/watch?v=pqFgYCdiYz4 > > The compiler does all the semantic coloring of the code, the interactive > case-split generating, etc.
Holy cow! > Here's one where the Pie type checker runs in-process in the slides: > > https://www.youtube.com/watch?v=1BWYy2-WM-o > > That one is based on the same editor widgets that you're using, extended > with a type checker and custom lexer and color scheme. No external > processes needed. > > > Slideshow is really fun for making interactive talks! > > David Wow, those are stunning examples! I had no idea! BTW, do you have code for either of these posted anywhere under a libre license? Might be interesting to look at :) -- 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.
