From dca28113dafb04c54840cf6096521fc8b715ef49 Mon Sep 17 00:00:00 2001 From: Yishuai Li Date: Tue, 16 Apr 2019 15:53:25 -0400 Subject: [PATCH] add Changelog --- CHANGELOG.md | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 CHANGELOG.md diff --git a/CHANGELOG.md b/CHANGELOG.md new file mode 100644 index 0000000..5bf5910 --- /dev/null +++ b/CHANGELOG.md @@ -0,0 +1,11 @@ +# Changelog +All notable changes to this project will be documented in this file. + +The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/), +and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html). + +## [Unreleased] +### Added +- [PrintingEffect] module, including [print] and [print_id] methods. + +[Unreleased]: https://github.com/coq-community/reduction-effects/commits/master