toki/numidr
1
0
Fork 0
Code Issues Pull requests Activity

Add sirdi manifest file

Browse source
This commit is contained in:
Kiana Sheibani 2022-10-21 20:37:07 -04:00
parent c359515270
commit 0a54f607b0
Signed by: toki
GPG key ID: 6CB106C25E86A9F7
2 changed files with 39 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/Data/NumIdr/Interfaces.idr
View file

@ -37,7 +37,7 @@ FieldCmp Double where
namespace Eq
export
WithEpsilon : Double -> Eq Double
WithEpsilon ep = MkEq (\x,y => x - y < ep) (\x,y => x - y >= ep)
WithEpsilon ep = MkEq (\x,y => abs (x - y) < ep) (\x,y => abs (x - y) >= ep)
namespace FieldCmp
export