1 repository on SrcLog
A differentiable programming language with an integration primitive that soundly handles interactions among the derivative, integral, and discontinuities.