Pandoc Lean Reader

Stream: Lean for teaching

[Graham Leach-Krouse]

Any pandoc users here? I had a project I thought it might be fun to share: I wrote a lean reader for pandoc, so you can use pandoc to transform lean files into other document types (PDFs, markdown, etc). Here's the git repo:

https://github.com/gleachkr/lean.lua

issues, feature requests and contributions are welcome.