Monadoc
Search
Home
agda2lagda
0.2023.6.9-0
exe:agda2lagda
exe:agda2lagda
Dependencies
base
lib:base >=4.9 && <5
directory
lib:directory >=0
filepath
lib:filepath >=0
optparse-applicative
lib:optparse-applicative >=0.13
Reverse dependencies
None.