Tillmann Rendel

We are affected by the globby performance issue described by @dflupu. We have a monorepo (using rush+pnpm) with a big `.gitignore` in the repository root plus some smaller `.gitignore` files...

Stack can install both GHC and Haskell packages in a non-destructive way, so maybe an option could be to bundle Stack with HyperHaskell and then instruct the user to use...

Thanks for fixing this! Highly appreciated. Can we already benefit from this fix or is there some follow-up needed downstream in `docker`? Experience report: We have a monorepo where many...

We are looking at adopting `relude` right now, and `reasonml-labs/bs-let` is a must-have for us. We even considered wrapping `relude` just to add the `let_` functions.

We are running into the same issue with `pnpm` which also requires accurate dependency information. The root fixes are merged: - https://github.com/postmanlabs/postman-sandbox/pull/849 - #3001 But the there is no `newman`...

I'm ok with this.

I don't know a technical specification, either. I was also thinking about keeping track of the "currently executing procedure" somehow. This needs more thinking, or maybe just doesn't make sense.

We don't use eta-reduction. We don't use eta-expansion literally, but the following pieces relate to eta-expansion: 1. [`equiv (Function ...) (Function ...)`](https://github.com/Toxaris/pts/blob/master/src-lib/PTS/Dynamics/Evaluation.hs#L38) 2. [`equiv (PiType ...) (PiType ...)`](https://github.com/Toxaris/pts/blob/master/src-lib/PTS/Dynamics/Evaluation.hs#L49) 3. [`reify...

Cool. Can you add a link or reference to the "some other paper"?

For reference, Paolo is talking about implementing this paper: http://www.mpi-sws.org/~rossberg/f-ing/