Sven Keidel

Hello @HuStmpHrrr, I can help with that. I'm well versed in category theory, but I'm quite a newbie in Agda. I would like to write some documentation for this library,...

For example like this (https://github.com/svenkeidel/agda-categories/blob/master/src/Categories/Category/Core.agda). A few beginner questions: - In which format do I have to write the documentation? I read something about restructured text. - How do I...

Thanks, this clarifies things. I will write some documentation for the most important definitions and then open a PR.

Ok, so brief on the category theory background and mainly focus on the design decisions. Got it. > Please feel free to pester us with questions on that. [There's also...

@crazazy, thanks for your contribution. For the record could you elaborate what went wrong and how your PR fixes it?

@CMCDragonkai, `nix-sandbox` does not set the executable path, but it allows to search in the executable path of a nix project with `nix-executable-find`. To integrate it into Emacs, call this...

Consecutive calls to `nix-executable-find` do not run `nix-shell` every time. The environment of each sandbox is cached and `nix-executable-find` searches the cached environment again, i.e. the overhead is not that...

So what do you suggest? Search only for `shell.nix` files or for `shell.nix` and `default.nix` files?

Yeah, I know this issue. I used synchronous IO to implement nix-sandbox. The way to solve this would be to use asynchronous IO, but if for example flycheck asks for...

I work in a research group at TU Darmstadt (https://www.stg.tu-darmstadt.de/). We use Jazzer to dynamically record a call graph, which we compare to a static call graph to measure precision...