stub link to OCaml lambda calc
authorJim Pryor <profjim@jimpryor.net>
Tue, 24 Aug 2010 15:16:32 +0000 (11:16 -0400)
committerJim Pryor <profjim@jimpryor.net>
Tue, 24 Aug 2010 15:16:32 +0000 (11:16 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
using_the_programming_languages.mdwn

index bfb97ae..6a87070 100644 (file)
@@ -121,6 +121,8 @@ know much OCaml yet to use it. Using it looks like this:
                church_to_int << $add$ $one$ $two$ >>;;
                - : int = 3
 
+       To install Jim's OCaml bundle, DO THIS...
+
 
 5.     To play around with a **typed lambda calculus**, which we'll look at later
 in the course, have a look at the [Penn Lambda Calculator](http://www.ling.upenn.edu/lambda/).