tests-pass-6727f4f076e11
Jim Newton's avatar
Jim Newton
@jnewton
6727f4f0 · keep track by-construction of factors and disjoint types when computing mdtd and derivative ·