Re: [isabelle] adhoc_overloading Monad_Syntax.bind



On Fri, 12 Feb 2016, Christian Sternagel wrote:

That is correct. The whole issue is on my radar, but after the last attempt (together with Florian) to improve the situation I never really came around to look at it again.

I have that also on my radar. Maybe we get a chance to discuss it together soon.


	Makarius





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