Paul-Elliot Anglès d'Auriac

Results 111 issues of Paul-Elliot Anglès d'Auriac

Since #972 there is a `compile-index` command which outputs a json index containing all searchable entries. The intended purpose of this json index is to pass it to a search...

`odoc`'s inlining is responsible for generating docs that are exponentially huge compared to their input. A simple example demonstrating this is: ``` module type S0 = sig end module type...

This issue is for discussing the syntax for including images in odoc. Since the parser has been remerged into this repo, I open it here! ### External and internal images...

I collect here the remarks I had when reading the doc. Please tell me if I should do things differently, split the issue in several smaller issues... ### Page Odoc...

documentation
enhancement

It would be nice to search for a specific kind (value, type, module, ...). I take the opportunity of suggesting a syntax for this :) ```ocaml val x : t...

This allows to find `ListLabels.map` when searching for `List.map`. Remarks: - Would it make sense to also split the name by `.` when indexing? Docstrings are indexed "by words" -...

It would be very nice to have a way to separate the query for names and docstrings. This would also allow to have a cost function that is specific to...

Hello, and thanks a lot for your app launcher! I would like to suggest a feature: sorting apps by [frecency](https://en.wikipedia.org/wiki/Frecency), in the search panel. It should be possible to disable...

This is an attempt to fix #3612. When relevant, list of documents are attached a `search_query` field, containing the query that got them, with bounds centered on them. Then, when...

enhancement