David Thrane Christiansen writes: >> Wow, those are stunning examples! I had no idea! > > Thanks! > >> BTW, do you have code for either of these posted anywhere under a libre >> license? Might be interesting to look at :) > > I don't typically post the source code of the slides themselves, > because I don't really design them for independent consumption outside > of the context of the talk, and I don't want to do tech support for > them. > > But the Idris interaction library has an example with it: > https://github.com/david-christiansen/idris-interaction.rkt > > The second one uses bits and pieces of Pie, from > https://github.com/the-little-typer/pie. I plan on publicly > documenting that library much better at some point - right now there's > only docs for the Pie language itself. > > If that's not enough to get started, contact me off-list and I'll send > the (potentially somewhat bitrotted) source for either talk. > > David
Cool... I see the bits in the slideshow.rkt and gui/ directory of Pie, and that looks helpful. Thanks much :) -- 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.
