Standard library for use with the Agda compiler
unstable
The package has no detailed description
2.3
agdaPackages
Yes
No
Free
46
