Commit 6389cbc

authored

Merge pull request #11 from dan-zheng/floating-point-protocol

Use `FloatingPoint` constraint insteaad of `BinaryFloatingPoint`.

2 parents 09d795d + b9cc9e8 commit 6389cbcCopy full SHA for 6389cbc

2 files changed

+185

-377

lines changed

+185

-377

lines changed

Comments

(0)