Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
School-Cotton
on Sept 4, 2023
|
parent
|
context
|
favorite
| on:
A Gentle Introduction to Liquid Types
> any nonzero integer plus a nonzero integer is a nonzero integer
That’s not true. 5 + (-5) is 0.
maxbond
on Sept 4, 2023
[–]
You're right, I was thinking of a nonzero unsigned integer. D'oh! Thanks for the correction!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
That’s not true. 5 + (-5) is 0.