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

1 repost

  • dan reposted at 2024-08-09 07:51