Open kpeeters opened 6 years ago
Right now Distributable makes operators distribute over all their arguments; this prevents rules which enable things like in https://stackoverflow.com/questions/50361917/expand-a-function-of-an-arbitrary-number-of-arguments-if-it-is-linear-in-each-ar
Distributable
Right now
Distributablemakes operators distribute over all their arguments; this prevents rules which enable things like in https://stackoverflow.com/questions/50361917/expand-a-function-of-an-arbitrary-number-of-arguments-if-it-is-linear-in-each-ar