Robin Carlier

icon company Ens De Lyon icon location Lyon icon location PhD. student in mathematics at ENS de Lyon.

Results 2 comments of Robin Carlier

autowrite when receiving SIGHUP, SIGQUIT

@dundargoc > How often does neovim crash that this becomes relevant lol? It’s not relevant for crashes, but the use case that makes me want such a functionality is the...

feat(CategoryTheory): criterion for `ObjectProperty.ind` in finitely accessible categories

Thanks! maintainer merge