Standard library for compiling Agda code to readable Haskell
unstable
The package has no detailed description
1.4
agdaPackages
Yes
No
Free
46
