cd "exemples/Caml Light/inria/minicaml";;
compile "syntaxe.mli";;
compile "eval.mli";;
compile "eval.ml";;
load_object "eval.zo";;
compile "lexuniv.mli";;
compile "lexuniv.ml";;
load_object "lexuniv.zo";;
compile "syntaxe.ml";;
load_object "syntaxe.zo";;
compile "types.mli";;
compile "types.ml";;
load_object "types.zo";;
compile "synthese.mli";;
compile "synthese.ml";;
load_object "synthese.zo";;
compile "caml.ml";;
load_object "caml.zo";;
#open "caml";;

boucle();;

(* Pour exécuter une phrase minicaml, par exemple la phrase:
let f = function x -> x * x in f 3;;
la sélectionner et l'envoyer directement à la boucle minicaml
à l'aide du menu: Caml->Envoyer la sélection *)