# Revision history for bisect-binary

## 0.1.0.1

* Fix bugs in `Intervals.hs` found by formal verification with Coq.

## 0.1

* First version.