add Changelog

coq-community · Apr 16, 2019 · dca2811 · dca2811
1 parent deddead
commit dca2811
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/CHANGELOG.md 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