plfa book html and pd cut down version of the Leibniz html and pdf show something more sophisticated do the tikz support pre release (include verbatim instead of backticks)
- fix contributors
- change code to apply template to file
- find the file
- change into markdown
- change toc and links style
- research method
- apply the change
- out of order appendixes: known issue in https://tex.stackexchange.com/questions/74039/toc-appendices-wrongly-entry-comes-after-1st-appendix-entry-when-use-include
- fix cross reference
- fix links
- fix headers
- change title page
-
latex paper to and from markdown
- proofreading
- compile to tex and pdf again
- fix the question mark
- fix agda code blocks font size
- make section reference choices
- handle both latex and md in the same source
- research
- so markdown is rendered correctly in html (ignore latex somtimes and render graphics as jpeg)
- spacing information in both markdown and latex
- can contained fenced divs with attributes
- will be treated specially when translating into latex
- Leibniz paper centering
- graphs in latex then img in markdown
- use lua-filter
- try out lua-filter
- Unicode in tikzc graphs in LaTeX are not rendered correctly
- citation in html
- abstract in markdown?
- different bibliography style
- work arounds
- fix html template
- proofread the paper, fix missing spaces and typos
- Conclusion in src
- change code in diagram to be monospaced
- look nice for people
- pacmpl abbreviation
- merge acm's template and change authors
- update readme
- instructions for install agda-tools
- complement installation instructions
- let the user copy only template and makefile
- defination of markdown
- how you produce html (from agda backend to markdown and then to pandoc)
- how to insert commands
- invoke somewhere else a directory (agda-tools)
- state potential problems and future works
- make
filename.pdfusing filename.lagda.md as it's source - change readme
- [X]multiple lagda file to stitch together with a template filename
- tex and latex confusion: delete all_tex from documentation
- state assumption upfront
- html path
- multiple files into a single html
- redirect links to main (look at Wen's approach)
- include css in YAML headers
- NOTE: possible bug in Agda? Consecutive code blocks are displayed incorrectly
- report the bug to the Agda people
- Upload the font for the website
- Test jfp and use the correct template
- Set up CSS to mimic plfa
- Change section title to be numbered
- crossreferences fix {}
- stop mentioning chapter 6
- make a section of the implementation details and give examples of what might happen
- communicate with Wen makefile
- check if markdown supports automatic labels
- add title page for the book
- decide on information to include
- choose styling