Hacker News
- Propositions as Filenames, Builds as Proofs: The Essence of Make http://bentnib.org/posts/2015-04-17-propositions-as-filenames-essence-of-make.html 19 comments
- The Essence of Make http://bentnib.org/posts/2015-04-17-propositions-as-filenames-essence-of-make.html 5 comments coding
- Propositions as Filenames, Builds as Proofs: The Essence of Make http://bentnib.org/posts/2015-04-17-propositions-as-filenames-essence-of-make.html 12 comments programming
Linking pages
Linked pages
- http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf 61 comments
- https://pragprog.com/titles/tpp20/the-pragmatic-programmer-20th-anniversary-edition/ https://pragprog.com/the-pragmatic-programmer/extracts/coincidence 43 comments
- http://martine.github.io/ninja/ 29 comments
- http://omake.metaprl.org/index.html 28 comments
- Horn clause - Wikipedia https://en.wikipedia.org/wiki/Horn_clause 0 comments
Related searches:
Search whole site: site:bentnib.org
Search title: Propositions as Filenames, Builds as Proofs: The Essence of Make - Bob Atkey
See how to search.