Closed elefthei closed 2 years ago
I needed a state transformer and I copied the one from ITrees with some minimum changes, instance of MonadChoice is from @Grain 's example/Yield/Lang.v.
example/Yield/Lang.v
Looks good, we can definitely merge this in for now.
On the medium run, I'd like us to think of:
subevent
I needed a state transformer and I copied the one from ITrees with some minimum changes, instance of MonadChoice is from @Grain 's
example/Yield/Lang.v
.