Welcome 3.5.0!

mumuki · Dec 23, 2017 · 0abe4b4 · 0abe4b4
1 parent e70da3a
commit 0abe4b4
Show file tree

Hide file tree

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