[update] version to 1.3.1

slovnicki · Nov 25, 2018 · eb9502d · eb9502d
1 parent 425cf3b
commit eb9502d
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 36 deletions.
diff --git a/README.md b/README.md
@@ -69,7 +69,7 @@ All the examples can be found in `examples/` directory.
         | |
     ____| |   ___  __  __
     | _ \ |__| _ \|  \/  |
-    |  _/____|____\_\__/_| v1.3.0
+    |  _/____|____\_\__/_| v1.3.1
     |_| pure λ-calculus interpreter
    =================================
 
@@ -87,14 +87,6 @@ pLam>
 
 ### Fun with arithmetic
 ```
-         _
-        | |
-    ____| |   ___  __  __
-    | _ \ |__| _ \|  \/  |
-    |  _/____|____\_\__/_| v1.3.0
-    |_| pure λ-calculus interpreter
-   =================================
-
 pLam> :import std
 pLam> 
 pLam> mul (add 2 (Sc 2)) (sub (exp 2 3) (Pc 8))
@@ -106,14 +98,6 @@ pLam>
 
 ### Factorial
 ```
-         _
-        | |
-    ____| |   ___  __  __
-    | _ \ |__| _ \|  \/  |
-    |  _/____|____\_\__/_| v1.3.0
-    |_| pure λ-calculus interpreter
-   =================================
-
 pLam> :import std
 pLam> :import comp
 pLam>
@@ -128,14 +112,6 @@ pLam>
 ### Minimization
 #### interactive coding:
 ```
-        _
-        | |
-    ____| |   ___  __  __
-    | _ \ |__| _ \|  \/  |
-    |  _/____|____\_\__/_| v1.3.0
-    |_| pure λ-calculus interpreter
-   =================================
-
 pLam> :import std
 pLam> :import comp
 pLam> 
@@ -148,14 +124,6 @@ pLam>
 ```
 #### running the existing program:
 ```
-         _
-        | |
-    ____| |   ___  __  __
-    | _ \ |__| _ \|  \/  |
-    |  _/____|____\_\__/_| v1.3.0
-    |_| pure λ-calculus interpreter
-   =================================
-
 pLam> :run examples/2.5.2
 =================================
 < zero
@@ -183,7 +151,7 @@ Done.
         | |
     ____| |   ___  __  __
     | _ \ |__| _ \|  \/  |
-    |  _/____|____\_\__/_| v1.3.0
+    |  _/____|____\_\__/_| v1.3.1
     |_| pure λ-calculus interpreter
    =================================
 

diff --git a/app/Main.hs b/app/Main.hs
@@ -13,7 +13,7 @@ import System.Console.Haskeline
 import System.Environment
 
 
-version = "1.3.0"
+version = "1.3.1"
 heading = "\x1b[1;36m\
 \         _\n\
 \        | |\n\

diff --git a/pLam.cabal b/pLam.cabal
@@ -1,5 +1,5 @@
 name:                pLam
-version:             1.3.0
+version:             1.3.1
 -- synopsis:
 -- description:
 homepage:            https://github.com/sandrolovnicki/pLam#readme