Agda.Version

3 values

PackageAgda-2.7.0.1
Exports3
LanguageHaskell2010
LicenceMIT
SourceVersion.hs

valueversion :: String

The version of Agda.

valuepackage :: String

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.

valuedocsUrl :: String -> String

Returns a URL corresponding to the given section in the documentation for the current version.