diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
index 0000000..2e1dc9a
--- /dev/null
+++ 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