google-research / dex-lang

Research language for array processing in the Haskell/ML family
BSD 3-Clause "New" or "Revised" License
1.58k stars 106 forks source link

QuickCheck found where my `fixUlp` wasn't rounding to nearest even correctly. #1258

Closed axch closed 1 year ago

axch commented 1 year ago

More elaboration fixes it.