Speaker Deck

Equational Reasoning in Programming

by Bucharest FP

Published June 21, 2016 in Programming