Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Does anyone know of a denotation for MonadSupply?
What do you mean "a denotation"? what about the Supply monad?
Supply
int -> (int, a)?
int -> (int, a)
Does anyone know of a denotation for MonadSupply?
What do you mean "a denotation"? what about the
Supply
monad?int -> (int, a)
?