+Sometimes we may refer to Caml or ML
+more generally; but you can assume that what we're talking about always works more
+specifically in OCaml.
+
+It's helpful if in addition to OCaml you also install the Findlib add-on and/or the [OPAM](https://opam.ocaml.org) "package manager."
+These will make it easier to install additional add-ons further down the road.
+However, if you're not able to get them working, don't worry about it much.
+
+The current version of OCaml is 4.02.1 (released October 2014).
+<!-- 3.12.1 July 2011; 4.00.1 Oct 2012; 4.01.0 Sept 2013; 4.02.0 Aug 2014; 4.02.1 Oct 2014 -->
+
+
+* In your web browser:
+
+ There is a (slow, bare-bones) version of OCaml available for online use at <http://try.ocamlpro.com/>.
+
+
+* **To install in Windows**
+
+ Go to <http://caml.inria.fr/download.en.html>.
+ You can probably download and install the
+ "Self installer for the port based on the MinGW toolchain"
+ even if you don't know what MinGW or Cygwin are.
+ Some features of this require Cygwin, but it looks like
+ it should mostly work even for users without Cygwin.
+ At the time of this writing, only an installer for an earlier
+ version of OCaml (4.01.0, from September 2013) is available.
+
+ To install the Findlib add-on, you must have the
+ Cygwin system installed. We assume few of you do,
+ so we're not going to try to explain how to do this.
+ If you want to figure it out yourself, go to the
+ Findlib website at <http://projects.camlcity.org/projects/findlib.html>.
+
+* **To install on Mac without MacPorts**
+
+ *Instructions coming*
+
+* *Another instruction page focuses on [OPAM](http://ocaml.org/docs/install.html), also [this](https://opam.ocaml.org).*
+
+* *[More details about installing OCaml on Macs, if needed](http://mirror.ocamlcore.org/wiki.cocan.org/getting_started_with_ocaml_on_mac_os_x.html)*
+
+ <!--
+ To install OCaml 3.12 (just released this summer), go to
+ <http://caml.inria.fr/download.en.html>
+ and download and install the "Binary distribution for Mac OS X"
+
+ To install the Findlib add-on, you'll need the Xcode development tools
+ to compile it yourself. Once you get that far, it's probably easiest
+ for you to install MacPorts and just install things using the MacPorts
+ instructions. (Use the MacPorts version of OCaml, instead of installing
+ the package from the caml.inria.fr website, as described above)
+ However, if you do have Xcode, and want to do without MacPorts, then
+ what you need to do is download Findlib from
+ <http://download.camlcity.org/download/findlib-1.2.6.tar.gz>.
+ Unpack the download, open a Terminal and go into the folder you just
+ unpacked, and type:
+
+ ./configure
+ make package-macosx
+
+ This will build an installer package which you should be able to
+ double-click and install.
+ -->
+
+* **To install on Mac with MacPorts**
+
+ You can install the current version of OCaml (4.02.1, from October 2014),
+ together with the Findlib add-on and OPAM package manager, by opening a Terminal and typing:
+
+ sudo port install ocaml caml-findlib opam
+
+ As with Scheme, it's helpful to also have rlwrap installed, and to start OCaml as `rlwrap ocaml`. This gives
+ you a nice history of the commands you've already typed, which you can scroll up and down in with your
+ keyboard arrows.
+
+* **To install on Linux**
+
+ Use your packaging system, for example, open a Terminal and
+ type:
+
+ sudo apt-get install ocaml ocaml-findlib opam
+
+ That will install a version of OCaml and the Findlib add-on and OPAM package manager.
+
+ If for some reason you can't get OCaml through your
+ packaging system, you can go to
+ <http://caml.inria.fr/download.en.html>.
+ Pre-packaged binary installers are available for several Linux systems.
+
+ If you can't get findlib through your packaging system, you'll
+ need to download it from
+ <http://download.camlcity.org/download/findlib-1.5.5.tar.gz>.
+ and use gcc to compile it yourself. If you don't know how to
+ do that, you probably don't want to attempt this.
+ Here are the INSTALL notes:
+ <https://godirepo.camlcity.org/svn/lib-findlib/trunk/INSTALL>.
+
+ As with Scheme, it's helpful to also have rlwrap installed, and to start OCaml as `rlwrap ocaml`. This gives
+ you a nice history of the commands you've already typed, which you can scroll up and down in with your
+ keyboard arrows.
+
+
+## Getting Haskell ##
+
+This last installation is less crucial than the others, since we will be focusing
+primarily on Scheme and OCaml. However we, and the readings you come across,
+will sometimes mention Haskell, so it might be worth your installing this too,
+so that you have it available to play around with.
+
+Haskell is used a lot in the academic contexts we'll be working through. At one point, Scheme
+dominated these discussions but now Haskell seems to do that.
+
+Haskell's surface syntax differs from Caml, and there are various important things one can do in
+each of Haskell and Caml that one can't (or can't as easily) do in the
+other. But these languages also have *a lot* in common, and if you're
+familiar with one of them, it's generally not hard to move between it and the
+other.
+
+* In your web browser:
+
+ There is a (slow, bare-bones) version of Haskell available for online use at <http://tryhaskell.org/>.
+
+Like Scheme, Haskell has a couple of different implementations. The dominant one, and the one we recommend you install, is called [GHC](https://wiki.haskell.org/GHC), short for "Glasgow Haskell Compiler". To install this on your machine, there are a couple of different strategies. It's helpful to understand some lingo as you begin this process:
+
+* As mentioned, **GHC** is the main Haskell engine or compiler you'll be installing. The current version is 7.8.4, from December 2014.
+* **gcc** and **llvm/clang** and **Xcode** and **MinGW** are names for other compilers on various systems. Oftentimes these will be used during the installation process to get GHC up and running. Some of the strategies described below will help you install these if they're not already on your machine.
+* **alex** and **happy** and **haddock** are names of various Haskell helper programs that GHC uses to get up and running.
+* **[Cabal](https://www.haskell.org/cabal)** is a "package manager" for Haskell. It allows you to install libraries or extensions that other people have built. (Usually those are published at the [Hackage](https://hackage.haskell.org) web site.) Some of these are experimental and may not always work; others are quite fundamental and are almost de facto parts of what people expect in a Haskell system.
+* **[Haskell Platform](https://www.haskell.org/platform)** is a standard bundle that includes a fixed version of GHC, plus fixed versions of some of the most popular libraries or extensions. This is updated once or twice a year. The current version is 2014.2.0.0, from August 2014. It includes GHC version 7.8.3.
+
+The easiest way to get up and running with Haskell/GHC is to install the Haskell Platform. Here's how to do that **on Windows**:
+
+* Go to <https://www.haskell.org/platform/windows.html> and follow the instructions. It looks like this process will automatically install the MinGW compiler needed to get this build of Haskell running on Windows.