Update of the README.

README.md

@@ -108,7 +108,17 @@ $ cd examples && make
 
 The executables can be found in each example directory (e.g., `horloge/horloge_main.exe`).
 
-## Development
+## Development (inslallation from the sources)
+
+### First, you need to install [opam] (https://opam.ocaml.org) and
+[dune] (https://dune.readthedocs.io/en/stable/).
+
+Install sundials <= 6.1 (https://computing.llnl.gov/projects/sundials/sundials-software).
+Install sundialsml 6.1 from the source (https://inria-parkas.github.io/sundialsml/). 
+Warning: as of Nov. 2023, sundialsml only works with sundials <= 6.1. We hare
+working on updating it with the latest version. Moreover, sundialsml only works with OCaml up to version 4.14.1. It does not work yet with OCaml version >= 5.0.
+
+Everything should work then!
 
 ### Compiler
 

compiler/typing/typing.ml

@@ -426,7 +426,7 @@ let env_of_eq_list expected_k eq_list =
        match expected_k with
        | Deftypes.Tstatic _ -> Deftypes.static
        | Deftypes.Tany | Deftypes.Tdiscrete false -> Deftypes.variable
-       | Deftypes. Tcont
+       | Deftypes.Tcont
        | Deftypes.Tdiscrete true
        | Deftypes.Tproba ->
 	  if S.mem n inames then Deftypes.imemory

examples/heater/heat.zls

@@ -11,7 +11,8 @@ let node euler(h)(x0, xprime) = x
 
 (* Model of a heater *)
 (* (temp(n+1) - temp(n)) / h = alpha(n) * (c(n) - temp(n)) if u(n) *)
-(*                             beta(n) * (temp_ext(n) - temp(n) otherwise *)
+(*                             beta(n) * (temp_ext(n) - temp(n)) otherwise *)
+
 let node heater(h)(c, alpha, beta, temp_ext, temp0, u) = temp where
   rec temp =
     euler(h)(temp0,