search

joshvera / effects

An implementation of "Freer Monads, More Extensible Effects".
Other
20 stars 5 forks source link

Fix NonDet #56

Closed joshvera closed 6 years ago

joshvera commented 6 years ago

Defined the distributive law to Effect.handleState in continuation passing style so we could unify a quantified x with the return type of the entire effect.