Add preview web app

.github/workflows/ci.yml

@@ -37,16 +37,16 @@ jobs:
         run: opam install ocamlformat.0.15.0
         if: ${{ matrix.os == 'ubuntu-latest' }}
 
-      - name: Install opam packages
+      - name: Install Opam packages
         run: opam install . --deps-only --with-test
 
       - name: Check formatting
         run: make fmt
         if: ${{ matrix.os == 'ubuntu-latest' && always() }}
 
       - name: Run build
-        run: make build
+        run: opam exec -- dune build --root . --ignore-promoted-rules
 
       - name: Run the unit tests
-        run: make test
+        run: opam exec -- dune runtest --root . --ignore-promoted-rules
         timeout-minutes: 1

.gitignore

@@ -1,6 +1,24 @@
-_build
-_opam
+# Dune generated files
+_build/
+*.install
+
+# Local OPAM switch
+_opam/
+
+# Merlin configuration files
 .merlin
+
+# Normal npm stuff
+npm-debug.log
+yarn-error.log
+node_modules/
+.cache/
+dist/
+build/
+
+# ReScript
 /lib/bs
 /lib/**/*.js
-.vscode
+
+# IDE related
+.vscode*

Makefile

@@ -7,24 +7,35 @@ $(eval $(ARGS):;@:)
 all:
 	opam exec -- dune build --root . @install
 
-.PHONY: dev
-dev: ## Install development dependencies
-	opam switch create . --no-install -y
+.PHONY: deps
+deps: ## Install development dependencies
 	opam install -y dune-release ocamlformat utop ocaml-lsp-server
+	npm install
 	opam install --deps-only --with-test --with-doc -y .
 
+.PHONY: create_switch
+create_switch:
+	opam switch create . 4.10.2 --no-install
+
+.PHONY: switch
+switch: create_switch deps ## Create an opam switch and install development dependencies
+
+.PHONY: lock
+lock: ## Generate a lock file
+	opam lock -y .
+
 .PHONY: build
 build: ## Build the project, including non installable libraries and executables
 	opam exec -- dune build --root .
 
-.PHONY: start
-start: all ## Start the project
-	opam exec -- dune exec --root . src/bin/main.exe $(ARGS)
-
 .PHONY: install
 install: all ## Install the packages on the system
 	opam exec -- dune install --root .
 
+.PHONY: preview
+preview: all ## Run the produced executable
+	cd src/ood-preview/ && opam exec -- script/watch.sh
+
 .PHONY: test
 test: ## Run the unit tests
 	opam exec -- dune runtest --root .
@@ -43,7 +54,7 @@ servedoc: doc ## Open odoc documentation with default web browser
 
 .PHONY: fmt
 fmt: ## Format the codebase with ocamlformat
-	opam exec -- dune build --root . @fmt --auto-promote
+	opam exec -- dune build --root . --auto-promote @fmt
 
 .PHONY: watch
 watch: ## Watch for the filesystem and rebuild on every change

data/books/algorithmen-datenstrukturen-funktionale-programmierung-eine-praktische-einfuhrung-mit-caml-light.md → data/books/en/algorithmen-datenstrukturen-funktionale-programmierung-eine-praktische-einfuhrung-mit-caml-light.md

@@ -8,7 +8,7 @@ description: >
 authors:
   - Juergen Wolff von Gudenberg
 published: "1996"
-cover: ./img/wolff.gif
+cover: books/wolff.gif
 language: german
 ---
 

data/books/apprendre-a-programmer-avec-ocaml.md → data/books/en/apprendre-a-programmer-avec-ocaml.md

@@ -12,7 +12,7 @@ authors:
   - Jean-Christophe Filliâtre
   - Sylvain Conchon
 published: "2014"
-cover: ./img/apprendre_ocaml_cover.png
+cover: books/apprendre_ocaml_cover.png
 language: french
 isbn: "2-21213-678-1"
 ---

data/books/apprentissage-de-la-programmation-avec-ocaml.md → data/books/en/apprentissage-de-la-programmation-avec-ocaml.md

@@ -10,7 +10,7 @@ authors:
   - Catherine Dubois
   - Valérie Ménissier Morain
 published: "2004"
-cover: ./img/dubois-menissier.gif
+cover: books/dubois-menissier.gif
 language: french
 isbn: "2-7462-0819-9"
 ---

data/books/approche-fonctionnelle-de-la-programmation.md → data/books/en/approche-fonctionnelle-de-la-programmation.md

@@ -5,7 +5,7 @@ authors:
   - Guy Cousineau
   - Michel Mauny
 published: "1995"
-cover: ./img/cousineau-mauny-fr.gif
+cover: books/cousineau-mauny-fr.gif
 language: french
 isbn: "2-84074-114-8"
 ---

data/books/concepts-et-outils-de-programmation.md → data/books/en/concepts-et-outils-de-programmation.md

@@ -6,7 +6,7 @@ authors:
   - Thérèse Accart Hardin
   - Véronique Donzeau-Gouge Viguié
 published: "1992"
-cover: ./img/hardin-donzeau-gouge.gif
+cover: books/hardin-donzeau-gouge.gif
 language: french
 isbn: "2-7296-0419-7"
 ---

data/books/cour-et-exercises-d-informatique.md → data/books/en/cour-et-exercises-d-informatique.md

@@ -10,7 +10,7 @@ description: >
 authors:
   - Luc Albert
 published: "1997"
-cover: ./img/albert.gif
+cover: books/albert.gif
 language: french
 isbn: "2-84180-106-3"
 ---

data/books/developing-applications-with-ocaml.md → data/books/en/developing-applications-with-ocaml.md

@@ -7,7 +7,7 @@ authors:
   - Pascal Manoury
   - Bruno Pagano
 published: "2002"
-cover: ./img/logocaml-oreilly.gif
+cover: books/logocaml-oreilly.gif
 language: english
 ---
 

data/books/developpement-d-applications-avec-objective-caml.md → data/books/en/developpement-d-applications-avec-objective-caml.md

@@ -7,7 +7,7 @@ authors:
   - Pascal Manoury
   - Bruno Pagano
 published: "2000"
-cover: ./img/chailloux-manoury-pagano.jpg
+cover: books/chailloux-manoury-pagano.jpg
 language: french
 isbn: "2-84177-121-0"
 ---

data/books/initiation-a-la-programmation-fonctionnelle-en-ocaml.md → data/books/en/initiation-a-la-programmation-fonctionnelle-en-ocaml.md

@@ -6,7 +6,7 @@ description: >
 authors:
   - Mohammed-Said Habet
 published: "2015"
-cover: ./img/Initiation_a_la_programmation_fonctionnelle_en_OCaml.jpg
+cover: books/Initiation_a_la_programmation_fonctionnelle_en_OCaml.jpg
 language: french
 isbn: "9782332978400"
 ---

data/books/introduction-to-ocaml.md → data/books/en/introduction-to-ocaml.md

@@ -5,7 +5,6 @@ description: >
 authors:
   - Jason Hickey
 published: "2008"
-cover: ./img/default.png
 language: english
 ---
 

data/books/introduzione-alla-programmazione-funzionale.md → data/books/en/introduzione-alla-programmazione-funzionale.md

@@ -6,7 +6,7 @@ authors:
   - Carla Limongelli
   - Marta Cialdea
 published: "2002"
-cover: ./img/limongelli-cialdea.gif
+cover: books/limongelli-cialdea.gif
 language: italian
 isbn: "88-7488-031-6"
 ---

data/books/le-langage-caml.md → data/books/en/le-langage-caml.md

@@ -12,7 +12,7 @@ authors:
   - Xavier Leroy
   - Pierre Weis
 published: "1993"
-cover: ./img/leroy-weis.jpg
+cover: books/le-language-caml-cover.jpg
 language: french
 isbn: "2-10-004383-8"
 ---

data/books/manuel-de-reference-du-langage-caml.md → data/books/en/manuel-de-reference-du-langage-caml.md

@@ -6,7 +6,7 @@ authors:
   - Xavier Leroy
   - Pierre Weis
 published: "1993"
-cover: ./img/leroy-weis.jpg
+cover: books/manuel-de-reference-du-langage-caml-cover.jpg
 language: french
 isbn: "2-7296-0492-8"
 ---

data/books/more-ocaml-algorithms-methods-diversions.md → data/books/en/more-ocaml-algorithms-methods-diversions.md

@@ -7,7 +7,7 @@ description: >
 authors:
   - John Whitington
 published: 2014-08-26
-cover: ./img/more-ocaml-300-376.png
+cover: books/more-ocaml-300-376.png
 language: english
 ---
 

data/books/nouveaux-exercises-d-algorithmique.md → data/books/en/nouveaux-exercises-d-algorithmique.md

@@ -8,7 +8,7 @@ description: >
 authors:
   - Michel Quercia
 published: "2000"
-cover: ./img/quercia.gif
+cover: books/quercia.gif
 language: french
 isbn: "2-7117-8990"
 ---

data/books/ocaml-book.md → data/books/en/ocaml-book.md

@@ -5,7 +5,6 @@ description: >
 authors:
   - Hongbo Zhang
 published: "2011"
-cover: ./img/default.png
 language: english
 ---
 

data/books/ocaml-for-scientists.md → data/books/en/ocaml-for-scientists.md

@@ -6,7 +6,7 @@ description: >
 authors:
   - "Jon D. Harrop"
 published: "2005"
-cover: ./img/more-ocaml-300-376.png
+cover: books/harrop-book.gif
 language: english
 ---
 

data/books/ocaml-from-the-very-beginning.md → data/books/en/ocaml-from-the-very-beginning.md

@@ -7,7 +7,7 @@ description: >
 authors:
   - John Whitington
 published: 2013-06-07 
-cover: ./img/OCaml_from_beginning.png
+cover: books/OCaml_from_beginning.png
 language: english
 ---
 

data/books/ocaml-programacao-funcional-na-practica.md → data/books/en/ocaml-programacao-funcional-na-practica.md

@@ -7,7 +7,7 @@ description: >
 authors:
   - Andrei de Araújo Formiga
 published: "2015"
-cover: ./img/opfp.png
+cover: books/opfp.png
 language: portugese
 ---
 

data/books/ocaml-system.md → data/books/en/ocaml-system.md

@@ -7,6 +7,7 @@ authors:
   - Jacques Garrigue
   - Didier Rémy
   - Jérôme Vouillon
+cover: books/colour-icon-170x148.png
 language: english
 ---
 

data/books/option-informatique-mpmp.md → data/books/en/option-informatique-mpmp.md

@@ -8,7 +8,7 @@ description: >
 authors:
   - Denis Monasse
 published: "1997"
-cover: ./img/monasse-2.jpg
+cover: books/monasse-2.jpg
 language: french
 isbn: "2-7117-8839-3"
 ---

data/books/option-informatique-mpsi.md → data/books/en/option-informatique-mpsi.md

@@ -7,7 +7,7 @@ description: >
 authors:
   - Denis Monasse
 published: "1996"
-cover: ./img/monasse-1.gif
+cover: books/monasse-1.gif
 language: french
 isbn: "2-7117-8831-8"
 ---

data/books/programmation-de-droite-a-gauche-et-vice-versa.md → data/books/en/programmation-de-droite-a-gauche-et-vice-versa.md

@@ -5,7 +5,7 @@ description: >
 authors:
   - Pascal Manoury
 published: "2005"
-cover: ./img/manoury.jpg
+cover: books/manoury.png
 language: french
 isbn: "978-2-916466-05-7"
 ---

data/books/programmation-en-caml.md → data/books/en/programmation-en-caml.md

@@ -7,7 +7,7 @@ description: >
 authors:
   - Jacques Rouablé
 published: "1997"
-cover: ./img/rouable.jpg
+cover: books/rouable.jpg
 language: french
 isbn: "2-212-08944-9"
 ---

data/books/programmation-fonctionnelle-generique-et-objet-une-introduction-avec-le-langage-ocaml.md → data/books/en/programmation-fonctionnelle-generique-et-objet-une-introduction-avec-le-langage-ocaml.md

@@ -5,7 +5,7 @@ description: >
 authors:
   - Philippe Narbel
 published: "2005"
-cover: ./img/narbel.jpg
+cover: books/narbel.jpg
 language: french
 isbn: "2-7117-4843-X"
 ---

data/books/programmazione-funzionale-una-semplice-introduzione.md → data/books/en/programmazione-funzionale-una-semplice-introduzione.md

@@ -5,7 +5,6 @@ description: >
 authors:
   - Massimo Maria Ghisalberti
 published: "2015"
-cover: ./img/default.png
 language: italian
 ---
 

data/books/real-world-ocaml.md → data/books/en/real-world-ocaml.md

@@ -9,7 +9,7 @@ authors:
   - Anil Madhavapeddy
   - Yaron Minsky
 published: 2013-11-25 
-cover: ./img/real-world-ocaml.jpg
+cover: books/real-world-ocaml.jpg
 language: english
 ---
 

data/books/seize-problemes-d-informatique.md → data/books/en/seize-problemes-d-informatique.md

@@ -7,7 +7,7 @@ description: >
 authors:
   - Bruno Petazzoni
 published: "2001"
-cover: ./img/petazzoni.jpg
+cover: books/petazzoni.jpg
 language: french
 isbn: "3-540-67387-3"
 ---

data/books/the-functional-approach-to-programming.md → data/books/en/the-functional-approach-to-programming.md

@@ -5,7 +5,7 @@ description: >
 authors:
   - Guy Cousineau
 published: "1998"
-cover: ./img/cousineau-mauny-en.gif
+cover: books/cousineau-mauny-en.gif
 language: english
 isbn: "0-521-57681-4"
 ---

data/books/think-ocaml-how-to-think-like-a-functional-programmer.md → data/books/en/think-ocaml-how-to-think-like-a-functional-programmer.md

@@ -6,7 +6,7 @@ authors:
   - Nicholas Monje
   - Allen Downey
 published: "2008"
-cover: ./img/default.png
+cover: books/thinkocaml_cover_web.png
 language: english
 ---
 

data/books/unix-system-programming-in-ocaml.md → data/books/en/unix-system-programming-in-ocaml.md

@@ -6,7 +6,6 @@ authors:
   - Xavier Leroy
   - Didier Rémy
 published: 2010-05-01
-cover: ./img/default.png
 language: english
 ---
 

data/books/using-understanding-and-unraveling-ocaml.md → data/books/en/using-understanding-and-unraveling-ocaml.md

@@ -6,7 +6,6 @@ description: >
 authors:
   - Didier Rémy
 published: 2002-09-20
-cover: ./img/default.png
 language: english
 ---
 

data/success_stories/en/astree.md

@@ -1,6 +1,6 @@
 ---
 title: The ASTRÉE Static Analyzer
-image: astree-thumb.gif
+image: success-stories/astree-thumb.gif
 url: http://www.astree.ens.fr/
 ---
 

data/success_stories/en/coq.md

@@ -1,6 +1,6 @@
 ---
 title: Coq
-image: coq-thumb.jpg
+image: success-stories/coq-thumb.jpg
 url: http://coq.inria.fr/
 ---