Source
Contents
Index

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

Safe Haskell	Safe-Infered

Agda.Version

Synopsis

version :: String

Documentation

version :: String Source

The version of Agda.

Produced by Haddock version 2.10.0