Hacker News new | ask | show | jobs
by bux93 348 days ago
It looks suspiciously like verifying imperative code by writing declarative code that does the same thing.