Version 1.0.1
=============

The library has been tested using Agda version 2.6.0.

Important changes since 1.0:

* Fixed unsolved metas in `Relation.Binary.Reasoning.MultiSetoid` and
  added missing combinator `_≈˘⟨_⟩_`.