Algebra of Programs: Proof of equality of programs [video]youtube.com3 points·metazip··0 commentsOpen articleSaveView on HN