[isabelle-dev] Monad_Syntax

[Alexander Krauss]

On 09/11/2013 05:04 PM, Makarius wrote:
> On Tue, 20 Aug 2013, Christian Sternagel wrote:
>
>> any opinions on making the type of monadic bind more general (see the
>> attached patch)?
>
> This thread seems to be still open.

I now pushed the rebased change as eeff8139b3d8.

> Do monadic people have a standard Unicode point to render that operator?

I would expect that most monadic people don't care very much about 
Unicode and are happy with latex and ascii...

Alex