Armaël Guéneau
Armaël Guéneau
I've needed to use `El.v` to create SVG DOM elements, and for this to work one needs to create with them with `createElementNS`, specifying the SVG namespace URI. For this...
As far as I can tell, it's not currently possible to use configurator to make a pkg-config query of the form `pkg-config --variable=myvariable package`. It'd be nice if that was...
Cf: https://developer.mozilla.org/en-US/docs/Web/API/Window/matchMedia . It seems to be old enough to be supported in all modern browsers: https://caniuse.com/#feat=matchmedia
Now that js_of_ocaml's opam package has been split into several ones, it would be nice to document on the respective modules pages from which opam package they come from (at...
#### Version Tested with coq 8.6 and 8.7 #### Description of the problem As illustrated by the snippet below, in some cases, hints added using `Hint Resolve` seem to not...
When hitting "save script", the produced .v file only contains the Coq code, without the plaintext comments — it would be nice to have them aswell.
```ocaml open Tyxml let page title content = [%html {| |} title {| |} content {| |}] let a_or_button contents = if true then Html.a contents else Html.button contents let...
I would like to gather comments about whether people think it would be a good idea to inline the `nullary`/`unary`/`star` [type abbreviations](https://github.com/ocsigen/tyxml/blob/master/lib/html_sigs.mli#L107). I personally would like this to happen (and...
Using the ppx, the following pattern, which would be nice to have, is currently unsupported: ```ocaml # fun extra_classes -> [%html {| |}];; Error: Error: Mixing literals and OCaml expressions...