Idris2Doc : Idris.Version

Idris.Version

(source)
Sets and display version of Idris.

Reexports

import public Libraries.Data.Version

Definitions

version : Version
Totality: total
Visibility: export