module Agda.Version where

import Data.Version
import Data.List ( intercalate, map )

import qualified Paths_Agda as PA

-- | The version of Agda.

version :: String
version :: String
version = String -> [String] -> String
forall a. [a] -> [[a]] -> [a]
intercalate String
"." ([String] -> String) -> [String] -> String
forall a b. (a -> b) -> a -> b
$ (Int -> String) -> [Int] -> [String]
forall a b. (a -> b) -> [a] -> [b]
map Int -> String
forall a. Show a => a -> String
show ([Int] -> [String]) -> [Int] -> [String]
forall a b. (a -> b) -> a -> b
$
            Version -> [Int]
versionBranch Version
PA.version