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