Aristide

Pour mes étudiants, il suffisait de relancer la commande magique. Mais vous n'êtes pas dans le même cas apparemment.

Ah ok, je n'ai jamais utilisé JupyterHub. La commande d'installation devrait être la bonne, et mocodo a l'air bien installé. Vous avez la possibilité d'essayer en local ?

Detection of body-recursion was done in https://github.com/laowantong/paroxython/commit/f2223228e4ef2623fbd07870198d0f3bc6e80528. For tail-recursion, take the complement.

Thanks for this neat workaround. So, if I understand correctly: - `print_endline s` immediately prints `s`. - `flush_all()` prints all the characters of the buffer **before** the `\n` character.

By chance, do you know such a workaround for `read_line()` ?

No problem, thanks again for your kind answer!

Awesome! Thank you @akabe for this workaround which works perfectly. I use Jupyter Notebook as an interactive environment in my FP course, and these IO functions are a must for...

@Naereen In fact, I do not call directly this function, but define a mutable variable with a default of: ```ocaml let read = ref read_line; ``` This works under console....

Finalement je suis parti sur d'autres idées pour la syntaxe. La version 3.0 prend en charge l'héritage. Documentation [ici](https://rawgit.com/laowantong/mocodo/master/doc/fr_refman.html).

Under macOS 12.5.1 / Chrome 105.0, I needed to combine three of the above workarounds: 1. Under Chrome Preferences, put English on top. 2. Under Chrome Preferences, suppress my local...