Totally!
On Fri, Feb 15, 2019 at 10:15 AM William J. Bowman
wrote:
> Thanks! Looks pretty helpful to me; at the very least I think I can rip
> out the
> parser and interactive loop.
> I've already got something syntax highlighting by calling off to
> Pygmentize.
>
> Might if I reuse some of
Thanks! Looks pretty helpful to me; at the very least I think I can rip out the
parser and interactive loop.
I've already got something syntax highlighting by calling off to Pygmentize.
Might if I reuse some of that code and put it in a little scribble library?
(I don't see a license)
--
William
I did exactly this, but for Pollen. You will want to create a new
subprocess with coqtop -emacs 2>&1.
You need -emacs because coqtop alone won’t distinguish the message panel
and the context panel,
and you need 2>&1 because Racket’s merge-input doesn’t preserve the order
when merging stderr and
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
4 matches
Mail list logo
