Bibliography (22):

1. https://web.archive.org/web/20211104164847/https://mitpress.mit.edu/sites/default/files/sicp/full-text/sicp/book/node6.html

2. https://web.archive.org/web/20211103210330/https://mitpress.mit.edu/sites/default/files/sicp/full-text/sicp/book/node10.html

3. SICP Section 1.1

4. https://web.archive.org/web/20110429185745/https://mitpress.mit.edu/sicp/full-text/book/book-Z-H-10.html#%25_sec_1.1.7

5. Hoogle

6. (X_->_Bool)_->_(X_->_x)_->_x_->_x

7. Prelude

8. https://web.archive.org/web/20070319202251/http://www.cs.bham.ac.uk/~ard/modules/swh05.html

9. https://web.archive.org/web/20211105092005/https://mitpress.mit.edu/sites/default/files/sicp/full-text/sicp/book/node13.html

10. ​ SICP Chapter 1.2 notes

11. Wikipedia Bibliography:

    1. Prettyprint  :

       https://en.wikipedia.org/wiki/Prettyprint

    2. Code smell  :

       https://en.wikipedia.org/wiki/Code_smell

    3. Don't repeat yourself

    4. Scheme (programming language)

    5. Common Lisp

    6. QuickCheck

    7. Binomial coefficient  :

       https://en.wikipedia.org/wiki/Binomial_coefficient

    8. Sorting network

    9. Axiom of choice  :

       https://en.wikipedia.org/wiki/Axiom_of_choice

    10. Curry–Howard correspondence  :

        https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence

    11. Newton's method

    12. Primitive recursive function