Convert to Literate Program

[wires]

Context

In response to #319 we want to see where literate programming takes us.

Next Steps

• [ ] convert to literate programming style
• [ ] add build scripts
• [ ] add some docs

[wires]

Oh, was logging time on the wrong issue. Anyway, put together a very basic sample here https://github.com/wires/lhs2tex-idris-example

Still TODO:

• syntax highlighting
• ensuring good development experience, both on the LaTeX side and on the Idris side (emacs multimode?)
• Docker & nixpkg configs