The latest version of agda2lagda is 0.2023.6.9-0.
agda2lagda
Version 0.2023.1.12 revision 1 uploaded by AndreasAbel.
Package meta
- Synopsis
- Translate .agda files into .lagda.tex files.
- Description
Simple command line tool to convert plain Agda or Haskell files into literate files. Line comments are interpreted as text, the rest as code blocks.
- Author
- Andreas Abel
- Bug reports
- https://github.com/andreasabel/agda2lagda/issues
- Category
- Dependent types, Development
- Copyright
- Andreas Abel, 2020, 2021, 2022
- Homepage
- https://github.com/andreasabel/agda2lagda
- Maintainer
- Andreas Abel <andreas.abel@cse.gu.se>
- Package URL
- n/a
- Stability
- n/a