Stream: jsCoq

Topic: General Chat


view this post on Zulip 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]

view this post on Zulip Shachar Itzhaky (Nov 02 2022 at 18:48):

oh now I understand how jsoo was able to find the zarith lib

view this post on Zulip 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: Jan 30 2023 at 17:03 UTC