Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add Pandoc mode #39

Merged
merged 1 commit into from
Nov 5, 2024
Merged

Add Pandoc mode #39

merged 1 commit into from
Nov 5, 2024

Conversation

madman-bob
Copy link
Contributor

This creates the executable katla-pandoc. When run as a Pandoc filter, this runs idr code blocks through Katla. There is an example md file in the tests, and running the tests generates the PDF.

It's complete enough for my purposes, but there are a couple of niggles:

I originally wrote this separately to Katla, so it calls Katla as an executable. It could be integrated more closely with Katla by using Katla as a library, but I didn't want to dig that deep.

I generate the Katla macros, and then immediatly call them, which is not ideal. I didn't see a way to generate inline code.

There seems to be a small space before inline snippets. It's most obvious in the Types section of the test PDF. I didn't dig into LaTeX enough to figure out why that is.

@andrevidela
Copy link
Contributor

I was going to need this exactly today

@andrevidela
Copy link
Contributor

After trying this out, I'd be in favor of merging this. But I'm not familiar enough with Katla's internals to review this at this stage

@andrevidela
Copy link
Contributor

I've been relying on this long enough that I'll just merge it.

Can it be installed with pack as a binary? I think it should but I haven't looked into it

@andrevidela andrevidela merged commit 53b0e47 into idris-community:main Nov 5, 2024
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants