Agda-2.6.2.2: A dependently typed functional programming language and proof assistant

Safe Haskell | Safe-Inferred
Language | Haskell2010

Agda.Version

Synopsis

- version :: String
- package :: String

# Documentation

version :: String Source #

The version of Agda.

package :: String Source #

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`.