Agda's version suffixed with the git commit hash.
ModuleAgda-2.8.0.2Haskell2010
Agda.VersionCommit
- 2 values
- PackageAgda-2.8.0.2
- Exports2
- LanguageHaskell2010
- LicenceMIT
- SourceVersionCommit.hs
Information about current git commit, generated at compile time.