Welcome 3.0.0!

mumuki · Aug 14, 2017 · 5fdf288 · 5fdf288
1 parent ccc735f
commit 5fdf288
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/app/Version.hs b/app/Version.hs
@@ -6,8 +6,7 @@ prettyVersion :: String
 prettyVersion = "Mulang Release " ++ version ++ ", compiled on " ++ compilationTimestamp
 
 version :: String
-version = "2.3.0"
-
+version = "3.0.0"
 
 compilationTimestamp :: String
 compilationTimestamp = __DATE__ ++ " " ++ __TIME__
diff --git a/mulang.cabal b/mulang.cabal
@@ -1,5 +1,5 @@
 name:                mulang
-version:             2.3.0
+version:             3.0.0
 synopsis:            The Mu Language, a non-computable extended Lambda Calculus
 -- description:
 license:             GPL