Saransh Chopra

I think the workflow failures are unrelated to this PR?

Thanks, @jhamman! Could you please let me know if the new errors in the CI are related to my PR?

Thanks!

pre-commit.ci autofix

Hi, @jhamman, this looks good to go now!

Hi! Glad to be here! Just to make sure I got this right - `agda-stdlib` used to have a [particular structure](https://github.com/agda/agda-stdlib/tree/7be5ce6ae4093102433e1b68804847b29fcfc827/src/Function) for the `Function` module (or package?) which wasn't very...

Great! Thank you so much! I'll redirect all the debugging questions to Zulip or Discord.

Based on some digging and a discussion on zulip, I think the following can be crossed off the list - - `fromRightInverse` - `fromBijection` --- - src/Function/Related.agda - src/Function/Surjection.agda -...

The coffea issue will be solved once their vector module is removed and scikit-hep/vector is recommended to the users - https://github.com/CoffeaTeam/coffea/issues/874#issuecomment-1941435897 For the issue on the awkward end, I am...

> I anticipate problems if the custom ufunc doesn't understand JAX arrays I see, this makes sense. Looking at this again, shouldn't this be on the user side? If I...