Smatchcube's website 🌍


Exercise 2.4

We use the substitution model to verify that (car (cons x y)) yields x.

Using this procedural representation of pairs we can define cdr as below.