bump version

melvic-ybanez · Apr 20, 2022 · 85d9486 · 85d9486
1 parent d6cf3dd
commit 85d9486
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -10,8 +10,7 @@ This program started as a proof-of-concept to see the mechanical nature of the p
 deriving function implementations when the types involved serve as logical propositions under the Curry-Howard Isomorphism.
 
 Chi takes in a function signature and generates the function implementation. At 
-the time of this writing, Chi supports both Java and Scala. Future support for 
-other languages are considered. 
+the time of this writing, Chi supports Java, Haskell, and Scala. 
 
 Chi can also check if two functions are isomorphic. See the [Isomorphism](#isomorphism) section for more details on this.
 

diff --git a/build.sbt b/build.sbt
@@ -1,10 +1,10 @@
 import Dependencies.dependencies
 
-ThisBuild / version := "0.4.0-SNAPSHOT"
+ThisBuild / version := "0.4.0"
 
 ThisBuild / scalaVersion := "2.13.8"
 
-assemblyJarName in assembly := "chi-0.4.0-snapshot.jar"
+assemblyJarName in assembly := "chi-0.4.0.jar"
 
 lazy val root = (project in file("."))
   .settings(