Revision history for agda2lagda

0.2023.3.25

• Outputs -o ending in .md or .markdown now activate --markdown format.
• Tested with GHC 8.0.2 - 9.6.1.

0.2023.1.12

• New option --markdown producing .lagda.md files instead of .lagda.tex.
• Tested with GHC 8.0.2 - 9.4.4.

0.2021.6.1

• Paragraphs starting with * are recognized as \item and organized in an itemize environment. Cannot be nested.
• Render doubly-underlined (===) paragraphs as \heading, dash-underlined (---) paragraphs as \subheading.
• Added a small testsuite (cabal test) using goldplate.
• Tested with GHC 8.10.4 and 9.0.1.

0.2020.11.1

• First version. Released Halloween 2020.
• Converts .agda and .hs files into .lagda or .lhs LaTeX literate files, turning line comments into text and block comments into LaTeX comments.
• Tested with GHC 8.0.2 - 8.10.3.