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