Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Changelog for
bisect-binary-0.1.0.1
Revision history for bisect-binary
0.1.0.1
Fix bugs in
Intervals.hs
found by formal verification with Coq.
0.1
First version.