Page
Library
Module
Module type
Parameter
Class
Class type
Source
These tutorials can be simply read online, but of course it's better (and more fun!) to execute the various code chunks by yourself. In fact, all tutorials have been designed so that they can be entirely (and automatically) compiled and executed. Hence, it's a good idea to install the bogue-tutorials package on your machine:
opam install --with-doc bogue-tutorialsThis will not only download the tutorials: you can then view them locally with
firefox $(opam var bogue-tutorials:doc)/index.htmlor, if you didn't use the --with-doc option:
firefox $(opam var bogue-tutorials:build)/docs/bogue-tutorials/index.htmlbut also ensure that the whole code is compatible with your Bogue install. In fact, if you didn't install Bogue beforehand, this will automatically install a compatible version. You can also download the source and opam install .; in both cases you may append the option --deps-only if you don't want to install a local copy of the tutorials.
You may simply open an OCaml toplevel (for instance utop), and load Bogue:
#thread;;
#require "bogue";;Of course we assume that you have a working OCaml environment and installed the Bogue library.
Then, you can simply follow the chosen tutorial by pasting the code chunks into the toplevel.
Another option is to execute the whole tutorial at once. For this you have two choices:
First, you need to download the complete repository:
git clone https://github.com/sanette/bogue-tutorials.git
cd bogue-tutorialsThen, you can execute any tutorial with the command: make exe from within the tutorial directory. For instance, running the "Hello world" tutorial goes as follows:
cd hello
make exedocs/bogue-tutorials/index.html in a browser. opam install bogue-tutorialsThen the executables bogue-tutorials.xxx will be automatically installed. For instance, for running the "Hello world" tutorial, just run
bogue-tutorials.helloNo problem: if the tutorial opens several Bogue instances, just close the current Bogue window to allow the next one to open.
Then let's start:
See the Github repository.