basic backpropagation in sharded domain/range relationships
Closed this issue · 1 comments
ityonemo commented
consider the a + b system, this has different outcomes. We should spec it as:
0, a -> a when a integer
a, 0 -> a when a integer
pos_integer, pos_integer -> pos_integer
neg_integer, neg_integer -> neg_integer
pos_integer, neg_integer -> integer
neg_integer, pos_integer -> integer
float, integer -> float
integer, float -> float
float, float -> float