- use bin-annot [[https://github.com/clarus/coq-of-ocaml/blob/master/src/coqOfOCaml.ml#L19][source]]
- clean up todo list
- documentation
- run tests with the new JSInterpreter.ml
...
...
@@ -336,4 +335,4 @@ TRICK-- HERE IS HOW TO PRINT BROWSER STACK SIZE LIMIT:
(fun s m -> Debug.impossible_with_heap_because __LOC__ s m; Coq_result_impossible) s ("[run_object_method] returned a primitive in [object_proto_is_prototype_of_body].")
with (after defining an « impossible » function)
impossible s "[run_object_method] returned a primitive in [object_proto_is_prototype_of_body]."
- navig_driver.js: deal better with src_next and src_prev by looking at the context that has an _term_ in it with an enter or an exit event
\ No newline at end of file
- navig_driver.js: deal better with src_next and src_prev by looking at the context that has an _term_ in it with an enter or an exit event
