
  0 | ||| Sets and display version of Idris.
  1 | module Idris.Version
  2 | 
  3 | import IdrisPaths
  4 | import public Libraries.Data.Version
  5 | 
  6 | %default total
  7 | 
  8 | export
  9 | version : Version
 10 | version with (idrisVersion)
 11 |  version | (s,"") = MkVersion s Nothing
 12 |  version | (s,t) = MkVersion s (Just t)
 13 |