-
MARCHE Claude authored
Two of the three examples which are extracted to ocaml code and then to javascript are not working, but they were broken since the new extraction which is bound to the use of Zarith and not Num. They should be repaired when js_of_ocaml supports Zarith
1f766d25