PDF Exporting

[NickSeagull]

We need to be able to export PDF's using pandoc or something.

[kitfre]

It could be nice to have markdown exporting as well. Or something that makes it easy to export a notebook into say a blog post.

[tonyday567]

Having a Main.lhs rather than a Main.hs would make this much easier. Pandoc has a markdown+lhs option so rendering would then be something like:

pandoc -i Main.lhs -o main.pdf -f markdown+lhs -t pdf

[NickSeagull]

Absolutely agree with @tonyday567

[ocramz]

But I hope the .hs -> .lhs conversion will be handled by the IDE (this https://github.com/jeffreyrosenbluth/Literate does that)

[SamuelSchlesinger]

In agreeance with @tonyday567 as well, though I like the idea of being able to write LaTeX in the editor instead of markdown, or in addition to it, if we were to use it as a backend. In this sense I disagree with your last point @ocramz unless we cover that use case as well

[NickSeagull]

@SamuelSchlesinger Pandoc's markdown handles inline LaTeX so no problem with that 😄

[ocramz]

I'll leave this here for now: http://casual-effects.com/markdeep/ this is a javascript snippet that acts as a Markdown renderer with additional features such as MathJax (see also my #25 ), some diagramming options, and advanced formatting.