1 repost 728.

Propositions as Filenames, Builds as Proofs: The Essence of Make - Bob Atkey

bentnib.org/posts/2015-04-17-propositions-as-filenames-essence-of-make.html

Make is logic.

make