changelog for 0.1.0.3 (#16)

lemastero · Nov 4, 2024 · 8a05516 · 8a05516
1 parent 615abf7
commit 8a05516
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 19 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -13,4 +13,7 @@
 * Remove excessive new lines in output Scala file
 * CI: compile output Scala code using SBT
 * Refactor: split Scala expressions, printing Scala expressions, compile internal Agda representation to Scala expressions
-Ńľľ
+
+## 0.1.0.3
+* add flag `--scala-dialect=Scala3` and support output for Scala3
+* test generated Scala 2 and Scala 3 code in CI build
diff --git a/agda2scala.cabal b/agda2scala.cabal
@@ -6,7 +6,7 @@ name:               agda2scala
 -- PVP summary:     +-+------- breaking API changes
 --                  | | +----- non-breaking API additions
 --                  | | | +--- code changes with no API change
-version:            0.1.0.2
+version:            0.1.0.3
 description:        Allows to export Scala source files from formal specification in Agda
 license:            MIT
 license-file:       LICENSE

diff --git a/examples/adts.scala b/examples/adts.scala