* Location of sourcepos extension source?
@ 2022-12-08 10:23 Duncan Murdoch
[not found] ` <2f62ae24-d83d-5e81-c3e4-fe005df232c7-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
0 siblings, 1 reply; 2+ messages in thread
From: Duncan Murdoch @ 2022-12-08 10:23 UTC (permalink / raw)
To: pandoc-discuss-/JYPxA39Uh5TLH3MbocFFw
I'm interested in looking at the source code for the sourcepos
commonmark extension. Where would I find it?
Duncan Murdoch
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Location of sourcepos extension source?
[not found] ` <2f62ae24-d83d-5e81-c3e4-fe005df232c7-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
@ 2022-12-08 16:42 ` John MacFarlane
0 siblings, 0 replies; 2+ messages in thread
From: John MacFarlane @ 2022-12-08 16:42 UTC (permalink / raw)
To: pandoc-discuss-/JYPxA39Uh5TLH3MbocFFw
https://github.com/jgm/commonmark-hs
> On Dec 8, 2022, at 2:23 AM, Duncan Murdoch <murdoch.duncan-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote:
>
> I'm interested in looking at the source code for the sourcepos commonmark extension. Where would I find it?
>
> Duncan Murdoch
>
> --
> You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
> To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/2f62ae24-d83d-5e81-c3e4-fe005df232c7%40gmail.com.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2022-12-08 16:42 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-12-08 10:23 Location of sourcepos extension source? Duncan Murdoch
[not found] ` <2f62ae24-d83d-5e81-c3e4-fe005df232c7-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
2022-12-08 16:42 ` John MacFarlane
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).