make @non_differentiable use identical pullbacks when possible#679
Merged
devmotion merged 3 commits intoJuliaDiff:mainfrom May 31, 2024
nsajko:non_differentiable_identically_same_pullback
Commits
Commits on May 31, 2024
- committed
- committed
- committed
