Propositions as Filenames, Builds as Proofs: The Essence of Make http://bentnib.org/posts/2015-04-17-propositions-as-filenames-essence-of-make.html Saved on Feb 07, 2016 #Unread #imported:pinboard Internet Archive
