DSLsofMath icon indicating copy to clipboard operation
DSLsofMath copied to clipboard

Published 20 hours ago • verified publisher icon DSLsofMath

Explain "equality up to"

Open patrikja opened this issue 6 years ago • 0 comments

https://github.com/DSLsofMath/DSLsofMath/blob/959df2f7a7539951707fb31b5076d07862485757/L/01/E1.lhs#L145

equalityUpTo f x y = (f x) == (f y)

Typical example: equality up to (mod n) means equality modulo n

patrikja avatar Jul 09 '18 21:07 patrikja