agda2lagda-0.2020.11.1: src/Version.hs

module Version ( version ) where

import Data.List ( intercalate )
import Data.Version ( Version(versionBranch) )

import qualified Paths_agda2lagda as PA

-- | The program version obtained from the cabal file.

version :: String
version = intercalate "." $ map show $ versionBranch PA.version