Siddharth
Siddharth
I'd like to look into this, could someone point a newbie in the right direction?
Yes! that's the book indeeed :)
This is a comment I made on rota's paths.
Can you try `./build-and-run-2d.sh`?
I didn't run the test suite while I was at the hackathon since my laptop is quite small :) On coming back home and running the test suite, I find...
@leodemoura Closed to clear Lean's PR queue; I shall send a completed PR once the solution does not fail on seemingly unrelated test cases.
What is the status on this? I wound up writing custom wrappers around some of the functions in `Data.Map` for stack traces, but it would be awesome if this were...
Is it necessary to pay a performance cost? Can we not expose a `Data.Map.{Strict, Lazy}.Debug` that contains the functions that expose debug info?
It's cool to see that optics have a place in mathlib4. Could I have some context for what need they fulfil in the library?