Emilio Jesús Gallego Arias (Nov 02 2022 at 18:41): Emilio Jesús Gallego Arias (Nov 02 2022 at 18:41):This documentation PR https://github.com/ocsigen/js_of_ocaml/pull/1323 may be interesting as to get an idea how to improve our management of "stubs" [for both wasm and jsoo, tho we may move from jsoo soon]
Shachar Itzhaky (Nov 02 2022 at 18:48):oh now I understand how jsoo was able to find the zarith lib
Emilio Jesús Gallego Arias (Nov 02 2022 at 19:09):Yes I saw that and was thinking precisely of the zarith discussion
Last updated: May 31 2023 at 02:31 UTC