Re: [isabelle] State of the State Monad



> I would welcome to have it as a separate theory (though under a
> different name maybe) since it can also be used for pretty printing
> quickcheck random generator expressions.

If you say "can be used", does that mean it already works or that it can
be implemented?

In any case, since it's purely syntactic, I propose calling it
"State_Syntax".

Cheers
Lars




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.