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. 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 -- 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.
