Algebra of Programs: Proof of equality of programs [video](youtube.com)3 points by metazip 3 years ago | 0 commentsNo comments yet