Does anyone have work adapting or hi-jacking scribble/examples to run code from other languages, particularly for non-sexpr languages that require calling out to an external interpreter?
In particular, I want to make it work for Coq programs so I can write nice scribble documents with embedded Coq examples. I could partially reimplement a scribble/examples-like macro that spins up a subprocess to interact with coqtop, but I was hoping someone might have some work I can reuse. -- William J. Bowman -- 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.
