effect-monad icon indicating copy to clipboard operation
effect-monad copied to clipboard

Published 20 hours ago • verified publisher icon dorchard

Provide an example on using Control.Effect.Parameterised

Open schernichkin opened this issue 8 years ago • 1 comments

Provide an example on encoding Control.Monad.Indexed-style monad with Control.Effect.Parameterised. Bob Atkey's paper is really hard thing to start from.

schernichkin avatar Aug 01 '16 17:08 schernichkin

👍

solidsnack avatar Dec 08 '16 00:12 solidsnack