Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

Unreleased

Added

Support Coq 8.10, 8.11

Removed

No longer support Coq <= 8.9

0.1.1 - 2019-11-18

Added

Support Coq 8.9

Removed

No longer support Coq <= 8.8

0.1.0 - 2019-04-16

Added

[PrintingEffect] module, including [print] and [print_id] methods.