@hackage / agda2lagda

Translate .agda files into .lagda.tex files.

Latest0.2025.9.5

Dependencies

executable:agda2lagda (4 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.9 && <5
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version:
- License: BSD-3-Clause
@hackage / optparse-applicative Utilities and combinators for parsing command line options
- Version: >=0.13
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version:
- License: BSD-3-Clause

test:test (2 dependencies)