X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=juli8.mdwn;h=84488f392c14b71463541e7b5da095ce35234633;hp=92900aab6bd34e99b5d038debf14321c2edcef19;hb=b901aa31c32ef221699d117a9ed564b4bf27fc51;hpb=ea35438f399e219db8ccc4e82fa94ad6c0bd0aaa diff --git a/juli8.mdwn b/juli8.mdwn index 92900aab..84488f39 100644 --- a/juli8.mdwn +++ b/juli8.mdwn @@ -26,11 +26,11 @@ 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 - as [[I directed you elsewhere|/topics/week9_using_the_monad_library]], you can instead just type: + as [[I directed you elsewhere|/topics/week9_using_the_monad_library/#index1h2]], you can instead just type: #show Monad.OPTION