The version of Agda.
ModuleAgda-2.8.0.2Haskell2010
Agda.Version
- 3 values
- PackageAgda-2.8.0.2
- Exports3
- LanguageHaskell2010
- LicenceMIT
- SourceVersion.hs
This package name.
This is mainly intended for use in the test suites to filter ephemeral
hash-fingerprinted package names like Agda-2.6.2-5ceeWeguf1QFMaHLput4zw.
Returns a URL corresponding to the given section in the documentation for the current version.