projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
library tweaks
[lambda.git]
/
index.mdwn
diff --git
a/index.mdwn
b/index.mdwn
index
02865e5
..
66f40b6
100644
(file)
--- a/
index.mdwn
+++ b/
index.mdwn
@@
-87,25
+87,31
@@
what you think you need in order to solve the problem.
(13 Sept) Lecture notes for [[Week1]]; [[Assignment1]].
(13 Sept) Lecture notes for [[Week1]]; [[Assignment1]].
-
Topics: Applications
; Basics of Lambda Calculus; Comparing Different Languages
+
> Topics: [[Applications]], including [[Damn]]
; Basics of Lambda Calculus; Comparing Different Languages
(20 Sept) Lecture notes for [[Week2]]; [[Assignment2]].
(20 Sept) Lecture notes for [[Week2]]; [[Assignment2]].
-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) Lecture notes for [[Week3]]; [[Assignment3]];
an evaluator with the definitions used for homework 3
preloaded is available at [[assignment 3 evaluator]].
(27 Sept) Lecture notes for [[Week3]]; [[Assignment3]];
an evaluator with the definitions used for homework 3
preloaded is available at [[assignment 3 evaluator]].
-
Topics:
Recursion with Fixed Point Combinators
+
> Topics: [[Evaluation Order]];
Recursion with Fixed Point Combinators
-(4 Oct) Lecture notes for
Week 4
+(4 Oct) Lecture notes for
[[Week4]]; [[Assignment4]].
-<!-- Introducing the notion of a "continuation", which technique we'll now already have used a few times
--->
+> Topics: More on Fixed Points; Sets; Aborting List Traversals; [[Implementing Trees]]
+
+
+(18 Oct) Lecture notes for Week 5
+
+> Topics: Types, Polymorphism
[[Upcoming topics]]
[[Upcoming topics]]
+[Advanced Lambda Calculus Topics](/advanced_lambda)
+
##[[Offsite Reading]]##
##[[Offsite Reading]]##
@@
-288,5
+294,4
@@
All wikis are supposed to have a [[SandBox]], so this one does too.
This wiki is powered by [[ikiwiki]].
This wiki is powered by [[ikiwiki]].
-[[Test]]