From 2127bcacc11e96c0e460de36557ccd324858160b Mon Sep 17 00:00:00 2001 From: jim Date: Wed, 18 Mar 2015 22:35:40 -0400 Subject: [PATCH] link to Plexy --- index.mdwn | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/index.mdwn b/index.mdwn index a764795b..c4d51a05 100644 --- a/index.mdwn +++ b/index.mdwn @@ -155,6 +155,12 @@ Practical advice for working with OCaml and/or Haskell (all will be posted soon) > We will be discussing the readings posted above. +> Topics: [[Kaplan on Plexy|topics/week6_plexy]]; King on that-clauses and "the proposition that P"; Rieppel on Frege and the concept HORSE + +(**Week 7**) Thursday March 12 + +> Topics: Interpreter for Combinatory Logic terms; Interpreter for Lambda terms; Starting with Monads +