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