@hackage agda2lagda0.2023.6.9

Translate .agda files into .lagda.tex files.

Installation
In your cabal file:
Tested Compilers
- 9.6.2
- 9.4.5
- 9.2.8
- 9.0.2
- 8.10.7
- 8.8.4
- 8.6.5
- 8.4.4
- 8.2.2
- 8.0.2
Dependencies (0)
- base >=4.9 && <5
- directory
- filepath
- optparse-applicative >=0.13
Dependents (0)

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.