Robin Carlier

autowrite when receiving SIGHUP, SIGQUIT

5

### Problem Currently (at least with neovim 0.10.0) when `autowrite` or `autowriteall` is set the buffers are not being written out when neovim receive a deadly signal such as SIGHUP...

Installation scripts fails to configure luarocks due to missing `--with-lua-include' flag

4

When trying to install `rocks.nvim` through the install script, the installer fails to configure luarocks with the following error message: ``` Configuring LuaRocks version dev... Lua interpreter found: /bin/lua5.1 Checking...

feat(CategoryTheory/Bicategory/Grothendieck): functors between Grothendieck constructions induced by strong natural transforms

1

Generalize the content of `CategoryTheory/Grothendieck` to pseudofunctor and show that a strong oplax natural transformation of pseudofunctors induces a functor between the Grothendieck contsructions, and that the construction preserves composition...