Skip to content
Snippets Groups Projects
Select Git revision
  • ultra-light
  • SharedArrayBuffer
  • v8.17 default protected
3 results
Blame Permalink
Forked from David Hamelin / jscoq-light
Source project has a limited visibility.
  • Shachar Itzhaky's avatar
    397f0320
    [addon] Sharing content with Hastebin. · 397f0320
    Shachar Itzhaky authored 
    This is phrased as an "addon"; I think that not only libraries can be
"addons" but this kind of interop UI functionality should be as well.

It does not mean that UI addons should be built outside of the jsCoq
source tree like mathcomp & co.
If they are small enough, they are ok where they are in `ui-js/addon`.
    397f0320
    History
    [addon] Sharing content with Hastebin.
    Shachar Itzhaky authored 
    This is phrased as an "addon"; I think that not only libraries can be
"addons" but this kind of interop UI functionality should be as well.

It does not mean that UI addons should be built outside of the jsCoq
source tree like mathcomp & co.
If they are small enough, they are ok where they are in `ui-js/addon`.