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 remark
dan
remarked at
2024-08-09 07:51
Make is logic.