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

Dependencies for agda2lagda-0.2020.9.30

Executables

agda2lagda

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