agda2lagda 0.2023.3.25

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

Full Changelog: v0.2023.1.12...v0.2023.3.25

agda2lagda 0.2023.1.12

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