projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
tweak links
[lambda.git]
/
content.mdwn
diff --git
a/content.mdwn
b/content.mdwn
index
75e3f92
..
ee3065b
100644
(file)
--- a/
content.mdwn
+++ b/
content.mdwn
@@
-5,7
+5,7
@@
week in which they were introduced.
## Topics by content ##
## Topics by content ##
-* [[Introduction to functional programming|topics/week1
_kapulet_
intro]]
+* [[Introduction to functional programming|topics/week1
kapulet
intro]]
* [[Order: static versus dynamic|topics/week1 order]]
* [[Order: static versus dynamic|topics/week1 order]]
@@
-15,16
+15,16
@@
Week 1:
* [[Order in programming languages and natural language|topics/week1 order]]
This discussion considers conjunction in a language that recognized presupposition failure.
* [[Order in programming languages and natural language|topics/week1 order]]
This discussion considers conjunction in a language that recognized presupposition failure.
-* [[Introduction to functional programming|topics/week1
_kapulet_
intro]]
+* [[Introduction to functional programming|topics/week1
kapulet
intro]]
Basics of functional programming: `let`, `case`, pattern matching, and
recursion. Definitions of factorial.
Basics of functional programming: `let`, `case`, pattern matching, and
recursion. Definitions of factorial.
-* [[Advanced notes|topics/week1
_kapulet_
advanced]]
+* [[Advanced notes|topics/week1
kapulet
advanced]]
* [[Homework for week 1|exercises/assignment1]]
Week 2:
* [[Homework for week 1|exercises/assignment1]]
Week 2:
-* [[Intro to the Lambda Calculus|topics/week2
_lambda_
intro]]
-* [[Advanced notes on the Lambda Calculus|topics/week2
_lambda_
advanced]]
+* [[Intro to the Lambda Calculus|topics/week2
lambda
intro]]
+* [[Advanced notes on the Lambda Calculus|topics/week2
lambda
advanced]]
* Encoding Booleans, Tuples, Lists, and Numbers (in progress)
* Homework for week 2 (in progress)
* Encoding Booleans, Tuples, Lists, and Numbers (in progress)
* Homework for week 2 (in progress)