From b901aa31c32ef221699d117a9ed564b4bf27fc51 Mon Sep 17 00:00:00 2001 From: jim Date: Mon, 6 Apr 2015 05:30:33 -0400 Subject: [PATCH] link to Oleg --- juli8.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/juli8.mdwn b/juli8.mdwn index 34c1f7ff..84488f39 100644 --- a/juli8.mdwn +++ b/juli8.mdwn @@ -26,7 +26,7 @@ Below, we'll give instructions on how to install Juli8 into your existing OCaml opam switch 4.02.0+improved-errors && opam install --switch=4.02.0+improved-errors delimcc && eval `opam config env` - Installing the `delimcc` library gives you Oleg's Delimited Continuation library for OCaml, which we will encourage you to play around with later in the term. It's not essential to have it, though. There are some advantages to using one of the 4.02.x versions of OCaml, though, rather than the 4.01.0 version I think most of us ended up installing. One advantage is that now you can use the special #show symbol command in OCaml sessions, which works like Haskell's special :info symbol inside a GHCi session. Then for example, instead of having to type: + Installing the `delimcc` library gives you [Oleg's Delimited Continuation library for OCaml](http://okmij.org/ftp/continuations/implementations.html), which we will encourage you to play around with later in the term. It's not essential to have it, though. There are some advantages to using one of the 4.02.x versions of OCaml, though, rather than the 4.01.0 version I think most of us ended up installing. One advantage is that now you can use the special #show symbol command in OCaml sessions, which works like Haskell's special :info symbol inside a GHCi session. Then for example, instead of having to type: module type SOMETHING = Monad.OPTION -- 2.11.0