# 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.