Tag make
1 bookmark has this tag.
2023-10-13
Propositions as Filenames, Builds as Proofs: The Essence of Make - Bob Atkey
bentnib.org/posts/2015-04-17-propositions-as-filenames-essence-of-make.htmlMake is logic.
1 bookmark has this tag.
Make is logic.