+The current version of OCaml is 4.02.1 (released October 2014).
+
+* *Another instruction page focuses on [OPAM](http://ocaml.org/docs/install.html), also [this](http://opam.ocaml.org).*
+
+* *[More details about installing OCaml on Macs, if needed](http://cocan.org/getting_started_with_ocaml_on_mac_os_x)*
+
+* 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 the previous
+ version of OCaml (3.11.0, from January 2010) 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**
+
+ 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 previous version of OCaml (3.11.2,
+ from January 2010), together with the Findlib add-on, by opening a Terminal
+ and typing:
+
+ sudo port install ocaml caml-findlib
+
+ 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
+
+ That will install a version of OCaml and the Findlib add-on.
+
+ 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.2.6.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:
+ <http://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](http://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 different 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](http://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](http://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](http://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 <http://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.
+
+On a Mac without MacPorts:
+
+* Go to <http://www.haskell.org/platform/mac.html> and follow the instructions. This requires Mac OS X 10.6 / Snow Leopard or later; but there is a link to an earlier version of Haskell Platform, that's built for Mac OS X 10.5 / Leopard. These instructions also require that you have (parts of) Apple's Xcode tools installed. (These are mentioned above.) There are some very brief comments about different options for how to get that on the Haskell Platform page.
+
+* [Here is more info](http://github.com/pittsburgh-haskell/haskell-installation) about installing Haskell on Macs.
+
+On a Mac with MacPorts:
+
+* In a Terminal, type `sudo port install haskell-platform`.
+
+On Ubuntu or Debian Linux:
+
+* In a Terminal, type `sudo apk-get install haskell-platform`.
+
+
+---
+
+* It's useful to know about the general [Haskell wiki](http://wiki.haskell.org) (not restricted to just GHC). They have a [Getting Started](http://wiki.haskell.org/Haskell_in_5_steps) page, which also recommends that you install the Haskell Platform.