Why 'externalized' proofs of cyclic trait impls does not work

4 pointsposted 13 hours ago
by khalidkhair
(smallcultfollowing.com)

No comments yet