Re:Now I’m calculating with constructive reals
by amelius on Wednesday April 27, 2022 @07:24PM
(#31187072)
Same as when using 1 and 0 for True and False.
[ Parent
| on HN ]
There are no comments on this comment yet.