From 1764a6362bafc505490075600f1863bb3fcfce6d Mon Sep 17 00:00:00 2001 From: Franco Bulgarelli Date: Wed, 29 Nov 2017 00:27:34 -0300 Subject: [PATCH] Welcome 3.4.0! --- app/Version.hs | 2 +- mulang.cabal | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/app/Version.hs b/app/Version.hs index 7f644e9d5..a0acaefad 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 = "3.3.0" +version = "3.4.0" compilationTimestamp :: String compilationTimestamp = __DATE__ ++ " " ++ __TIME__ diff --git a/mulang.cabal b/mulang.cabal index 08f480620..dc3a96f9a 100644 --- a/mulang.cabal +++ b/mulang.cabal @@ -1,5 +1,5 @@ name: mulang -version: 3.3.0 +version: 3.4.0 synopsis: The Mu Language, a non-computable extended Lambda Calculus -- description: license: GPL