Merge pull request #1 from MilesCranmer/insertionOp 931a410 unverified MilesCranmer commited on Sep 19, 2020
Function to combine redundant constants for plus, multiply 47712b5 MilesCranmer commited on Sep 19, 2020
Rewrite delete function to join cutoff subtree with parent d1327f1 MilesCranmer commited on Sep 19, 2020