Two fun blogs posts in this vein https://bentnib.org/posts/2015-04-17-propositions-as-filenames-essence-of-make.html https://bentnib.org/posts/2015-04-17-propo

Two fun blogs posts in this vein https://bentnib.org/posts/2015-04-17-propositions-as-filenames-essence-of-make.html https://bentnib.org/posts/2015-04-17-propositions-as-filenam... http://conal.net/blog/posts/the-c-language-is-purely-functional http://conal.net/blog/posts/the-c-language-is-purely-functio...