Hacker News new | ask | show | jobs
by satvikpendem 48 days ago
I should specify the domain to be ℤ