Equational reasoning at scale

Comments



from Hacker News http://bit.ly/WvTkN7