• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Dependencies for agda2lagda-0.2023.3.25

Executables

agda2lagda

• base (>=4.9 && <5)
• directory
• filepath
• optparse-applicative