Bumped to version 0.3.0.

HarvardPL · Feb 3, 2020 · a26a9d8 · a26a9d8
1 parent 4641cf6
commit a26a9d8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/changelog.md b/changelog.md
@@ -1,12 +1,14 @@
 # Changelog
 All notable changes to this project will be documented in this file.
 
-## [Unreleased]
+## [0.3.0] - 2020-02-03
 ### Added
 - Support for `fold` terms.
 - Options to restrict which results are printed after evaluation. 
 - Nested, variable-capturing functions (i.e., `let fun` expressions).
 - Added generic serialization function `to_string`.
+- Preliminary (and undocumented) option to compile Formulog program to C++
+  instead of interpreting it.
 
 ### Changed
 - Do not require parentheses around tuple types.

diff --git a/pom.xml b/pom.xml
@@ -4,7 +4,7 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>edu.harvard.seas.pl</groupId>
 	<artifactId>formulog</artifactId>
-	<version>0.2.0-SNAPSHOT</version>
+	<version>0.3.0-SNAPSHOT</version>
 	<name>formulog</name>
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>