Stefan Höck

Thanks, claymager, for your work on this nix-related stuff! I'm really looking forward to the day when we can use nix as a fully operating development environment for Idris2.

> @stefan-hoeck: Should we create a new ticket at the Github-repository of idris2-webidl concerning this? Because that's where a fix is needed, right? > > Also, I still don't understand...

I'm wondering: I have no chance of maintaining this translation. Would it make sense to have this in a separate repo and link to it from the README?

This has been open for a long time, and I'm not sure if this is still an issue or the `--gc` command-line option is enough. I'm going to close this,...

> Does it make sense to have a section in `pack.toml` which enumerates the `.ipkg` files which belong to the project? I don't think so. Currently, from pack's point of...

This has been open for a long time, and as I said, I'm not the one going to change the way we handle command line options without the help from...

I'm going to close this since it has not seen any activity for several months and it seems the way we currently handle and name `.ipkg` files seems to work...

> Cf. #3228 Thanks. I didn't see that. I'll leave this open until the PR is merged.

Personally, I'm in favor of avoiding disambiguities and allowing only one `.ipkg` file upstream from the source code. I think I so far have not come upon a use case...

> Seeing that the current CSE is unsound with respect to `%delay`, I think this should be merged unless our backend maintainers (@stefan-hoeck, in particular) have concerns. To the best...