* [[Some other list encodings|topics/week3 lists#other-lists]]
* Reduction Strategies and Normal Forms
* [[Fixed point combinators|topics/week4_fixed_point_combinators]]
* [[Some other list encodings|topics/week3 lists#other-lists]]
* Reduction Strategies and Normal Forms
* [[Fixed point combinators|topics/week4_fixed_point_combinators]]
* Reduction Strategies and Normal Forms (will try to post soon)
* [[Unit and its usefulness|topics/week3 unit]]
* [[Combinatory Logic|topics/week3 combinatory logic]]
* Reduction Strategies and Normal Forms (will try to post soon)
* [[Unit and its usefulness|topics/week3 unit]]
* [[Combinatory Logic|topics/week3 combinatory logic]]