S&Q Prep: The Lambda Calculus; The Y Combinator; ; Editors; Courses and Software Setup; The Lambda Calculus; Y Combinator; ; ; ; Bindings, Expressions, Shadowing, Functions, Tuples, and Lists

• Due Jan 24, 2020 at 3am
• Points 3
• Questions 3
• Available until Jan 27, 2020 at 3am
• Time Limit None
• Allowed Attempts Unlimited

Instructions

xkcd: Editors

Courses and Software Setup
The Lambda Calculus
Y Combinator
(Optional) Wikipedia: Fixed-point combinator
(Optional) Wikipedia: Church encoding

start-here

welcome-and-some-course-mechanics

optional-who-i-am-acknowledgments

what-the-course-is-about-initial-motivation

recommended-background

why-part-a-part-b-part-c

grading-policy

optional-very-high-level-outline

about-the-course

some-more-perspective-on-recommended-background

why-are-there-3-courses-part-a-part-b-part-c

grading-policy-details

discussion-forums-why-are-you-participating

Bindings, Expressions, Shadowing, Functions, Tuples, and Lists

section-1-welcome-message

section-1-reading-notes

ml-variable-bindings-and-expressions

rules-for-expressions

the-repl-and-errors

shadowing

functions-informally

functions-formally

pairs-and-other-tuples

introducing-lists

list-functions