News for hackers. Stuff that matters.
Re:Toward Go 2 by throwaway91111 on Thursday July 13, 2017 @08:43PM (#14766593)
As a whole, you are correct. Pragmatically it allows defining the boundaries of soundness.

There are no comments on this comment yet.