Saransh Chopra

Closing this PR. I am cleaning up my open PRs and closing the stale ones. Please let me know if the changes are required in the future. I would be...

Hi, @pulsar17 I really want to. But, unfortunately, it won't be possible for me to give this talk again on 19th November because of my upcoming endsems.

Cleaning up my open PRs. Please let me know if this PR is required and I'll reopen it.

Also, `n≤m⊔n` was deprecated and `m≤n⊔m` was introduced - https://github.com/agda/agda-stdlib/blob/0661b59be0ccf28d5715d80fd9e6c535ed19d119/src/Data/Nat/Properties.agda#L2261-L2264 Should I just update the type signature in the comments?

Casadi has started building wheels for M1/M2 in their nightly-develop releases - https://github.com/casadi/casadi/releases/tag/nightly-develop

Maybe we can start by segregating the current getting started and tutorials sections into separate folders? We can also add a new "how-to" section with the `Dataloader` example to start...

Thanks for the ping! Re pyproject-fmt: The hook was not added to scientific-python's development guide because it was not very flexible - https://github.com/scikit-hep/scikit-hep.github.io/pull/214 ([scikit-hep.github.io](https://scikit-hep.org) was ported to create [learn.scientific-python.org/development](https://learn.scientific-python.org/development/)). I've...

Hi, (I don't know if I am doing it right) I ran - ``` agda -Wall Everything.agda ``` locally, but could not reproduce the list of warnings, instead I got...

Ah, thanks! Works!

An updated list for reference (will create a PR shortly) - https://gist.github.com/Saransh-cpp/99476398a0bf6fa78f1fc6a26edbb9fc