diff --git a/app/Version.hs b/app/Version.hs index 2d0382664..be39ece5d 100644 --- a/app/Version.hs +++ b/app/Version.hs @@ -6,7 +6,7 @@ prettyVersion :: String prettyVersion = "Mulang Release " ++ version ++ ", compiled on " ++ compilationTimestamp version :: String -version = "2.2.0" +version = "2.3.0" compilationTimestamp :: String diff --git a/mulang.cabal b/mulang.cabal index 2ffce914c..be420ce77 100644 --- a/mulang.cabal +++ b/mulang.cabal @@ -1,5 +1,5 @@ name: mulang -version: 2.2.0 +version: 2.3.0 synopsis: The Mu Language, a non-computable extended Lambda Calculus -- description: license: GPL