Hacker News new | ask | show | jobs
by melodyogonna 44 days ago
Well, it certainly allows you to encode invariants in a more precise manner.