4 ms·Propositions as Filenames, Builds as Proofs: The Essence of Make (2015)3 points by lelf 7y agodang 7y agoDiscussed at the time: https://news.ycombinator.com/item?id=9402728 https://news.ycombinator.com/item?id=9402728