From 51e2d45d90e45b3a0ecda92a0d60767c1f9e7f2f Mon Sep 17 00:00:00 2001 From: lemastero Date: Tue, 30 Apr 2024 01:39:29 +0200 Subject: [PATCH] update README --- CHANGELOG.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 498223f..6971422 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,7 @@ # Revision history for agda2scala -## 0.1.0.0 -- YYYY-mm-dd +## 0.1.0.1 -* First version. Released on an unsuspecting world. +* Save result in scala file +* Generate package declaration +* Generate ADT with only case objects