From e3bd19ce57dfb780c0f23279a4accb7933663fa9 Mon Sep 17 00:00:00 2001 From: lemastero Date: Thu, 14 Dec 2023 00:06:40 +0100 Subject: [PATCH] add CHANGELOG.md --- CHANGELOG.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 CHANGELOG.md 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