Revision history for bisect-binary

0.1.0.1

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

0.1

• First version.