Algebra of Programs: Proof of equality of programs [video] youtube.com 3 points by metazip 3 years ago · 0 comments Reader PiP Save No comments yet.