Closed ccshan closed 6 years ago
$ cat 5.hk 5.0 $ hakaru 5.hk 4.999999999999999
The output should be 5.0
5.0
Thanks to Jeremiah for discovering this.
Oh wait, maybe that's because it was a prob
Yeah... never mind.
The output should be
5.0
Thanks to Jeremiah for discovering this.