You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
And then we can define a monoid on them and just add them up. Also, I'm not sure exposing the steps is the right thing to do. Should you really be thinking in terms of steps? How do you reason about that? At the application layer, it seems to me you should use different keys to distinguish, not steps.
The text was updated successfully, but these errors were encountered:
Should probably be reworked a bit. Something like:
And then we can define a monoid on them and just add them up. Also, I'm not sure exposing the steps is the right thing to do. Should you really be thinking in terms of steps? How do you reason about that? At the application layer, it seems to me you should use different keys to distinguish, not steps.
The text was updated successfully, but these errors were encountered: