Changelog for agda2lagda-0.2025.9.5

Revision history for agda2lagda

0.2025.9.5

Fix incomplete-patterns warnings.
Tested with GHC 8.0.2 - 9.14 alpha1.

0.2023.6.9

West Pride revision.

Builds with optparse-applicative-0.18.
Tested with GHC 8.0.2 - 9.6.2.

0.2023.3.25

Output -o ending in .md or .markdown now activates --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.