[isabelle-dev] Monad_Syntax

Alexander Krauss krauss at in.tum.de
Fri Sep 13 09:45:54 CEST 2013

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...


More information about the isabelle-dev mailing list