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.
[ Parent
| on HN ]
There are no comments on this comment yet.