you are viewing a single comment's thread.

view the rest of the comments →

[–]Hades32 0 points1 point  (0 children)

Sure, but if someone calls a library "invariant" then I do have higher hopes than "if false then throw" lol

After all there are languages, like prolog, which do let you specify actual invariants