projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
b20d31a
)
edits
author
Chris Barker
<barker@kappa.linguistics.fas.nyu.edu>
Mon, 27 Sep 2010 18:29:19 +0000
(14:29 -0400)
committer
Chris Barker
<barker@kappa.linguistics.fas.nyu.edu>
Mon, 27 Sep 2010 18:29:19 +0000
(14:29 -0400)
index.mdwn
patch
|
blob
|
history
diff --git
a/index.mdwn
b/index.mdwn
index
28fc8c4
..
d0d77f7
100644
(file)
--- a/
index.mdwn
+++ b/
index.mdwn
@@
-36,7
+36,8
@@
Topics: Applications; Basics of Lambda Calculus; Comparing Different Languages
Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers
Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers
-(27 Sept) ...(Notes to come)
+(27 Sept) Lecture notesfor [[Week3]]; [[Assignment3]].
+
Topics: Recursion with Fixed Point Combinators
<!-- Introducing the notion of a "continuation", which technique we'll now already have used a few times
Topics: Recursion with Fixed Point Combinators
<!-- Introducing the notion of a "continuation", which technique we'll now already have used a few times