Revision history for agda2lagda

0.2020.11.1

• First version. Released Halloween 2020.
• Converts agda/hs files into lagda/lhs LaTeX literate files, turning line comments into text and block comments into LaTeX comments.