mechvel/BFLib-0.1

Agda programs for certified arithmetic for binary integers and generic fractions