Merge branch 'pryor'

[lambda.git] / index.mdwn

diff --git a/index.mdwn b/index.mdwn
index 9fb6872..c18172b 100644 (file)
--- a/index.mdwn
+++ b/index.mdwn
@@ -17,6 +17,7 @@ You should see the student sessions as opportunities to clear up lingering issue
 There is now a [[lambda evaluator]] you can use in your browser (no need to install any software).
 It can help you check whether your answer to some of the homework questions works correctly.
 
 There is now a [[lambda evaluator]] you can use in your browser (no need to install any software).
 It can help you check whether your answer to some of the homework questions works correctly.
 

+There is now a [library](/lambda_library) of lambda-calculus arithmetical and list operations, some relatively advanced.

 
 <!--
   To play around with a **typed lambda calculus**, which we'll look at later
 
 <!--
   To play around with a **typed lambda calculus**, which we'll look at later


@@ -43,6 +44,8 @@ Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Nor
 
 Topics: Recursion with Fixed Point Combinators
 
 
 Topics: Recursion with Fixed Point Combinators
 

+(4 Oct) Lecture notes for Week 4
+

 <!-- Introducing the notion of a "continuation", which technique we'll now already have used a few times
 -->
 
 <!-- Introducing the notion of a "continuation", which technique we'll now already have used a few times
 -->