add CHANGELOG.md

lemastero · Dec 13, 2023 · e3bd19c · e3bd19c
1 parent 1041e23
commit e3bd19c
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -0,0 +1,13 @@
+# Revision history for agda2scala
+
+## 0.1.0.0 -- 2023-12-14
+
+* First version cloned from omelkonian/agda-minimal-backend
+
+## 0.1.0.1 -- 2023-12-14
+* add CI
+* rename agda2?? to agda2rust
+* add working example
+* change upper bound for base to 4.20 to fix CI
+* add CHANGELOG.md
+* document how to compile example