Agda-2.6.1: A dependently typed functional programming language and proof assistant
Source
Contents
Index
Safe Haskell
Safe
Language
Haskell2010
Agda.Version
Synopsis
version
:: String
Documentation
version
:: String
Source
#
The version of Agda.