A differentiable programming language with an integration primitive that soundly handles interactions among the derivative, integral, and discontinuities. - View it on GitHub