ncihnegn

It seems we should expose the construction of`Bearer`.

`tokio_named_pipe` fails frequently

1

``` error: test failed, to rerun pass `--test tokio_named_pipe` Caused by: process didn't exit successfully: `\interprocess\target\debug\deps\tokio_named_pipe.exe` (exit code: 0xc0000374, STATUS_HEAP_CORRUPTION) ``` ``` Caused by: process didn't exit successfully: `\interprocess\target\debug\deps\tokio_named_pipe.exe` (exit...

Use Unix sockets on Windows if available

2

AF_UNIX has been available on Windows since 2017 (https://devblogs.microsoft.com/commandline/af_unix-comes-to-windows/). Can we use Unix sockets instead of named pipes on Windows?

opam installation

2

Probably a naive question: can hol-light be installed as an opam pacakge? If not, why?

core 0.15.1 utop 2.10.0 ocaml 4.14.0 macOS 13.0.1 Apple Silicon M1 ``` utop # #require "core.top";; utop # #quit;; Raised at Topdirs.dir_quit in file "toplevel/topdirs.ml", line 66, characters 18-52 Called...

Missing default map

8

> λ platex-ng test-platex.tex > This is Asiatic pTeX, Version 3.14159265 (preloaded format=platex-ng) > entering extended mode > (test-platex > pLaTeX2e +1 (based on LaTeX2e patch level 2) > Babel...

Add the Space Saving algorithm

1

Reference: https://link.springer.com/chapter/10.1007/978-3-540-30570-5_27 Are you open to a pull request?

No `Other` application type when creating OAuth client ID

2

Please update README.