LeanInk status?

Stream: general

[Graham Leach-Krouse]

Does anyone happen to know what's the status of LeanInk? It's now supported in mainline alectryon, it seems, but the LeanInk Github repo says that that the project has been archived. Will LeanInk be maintained, or is there a successor project?

[Jireh Loreaux]

The thing to use now (or soon) and in the future will be Verso.

[Graham Leach-Krouse]

Got it. So LeanInk is deprecated? I'm partly just wondering whether it makes sense to build anything on top of it at the moment, e.g. using the snippet extraction.

[David Thrane Christiansen]

What are you building?

[Graham Leach-Krouse]

I wrote a little pandoc reader for lean files: https://github.com/gleachkr/lean.lua - it's pretty trivial, but I was wondering if I could shell out to alectryon for better code blocks.

[Graham Leach-Krouse]

I did get a little verso project running, it's also quite nice! A "snippet" verso genre (if that's the right concept) might also work for a pandoc integration, although maybe that's sort of against the grain of intended verso usage.