emacs-orgmode
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [O] Escaping again!


From: Bastien
Subject: Re: [O] Escaping again!
Date: Fri, 30 May 2014 16:00:42 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux)

Hi Rustom,

Rustom Mody <address@hidden> writes:

> - \(+\):: Int → Int → Int
> - \(-\):: Int → Int →Int
> - \(\leq\):: Int → Int → Bool
> - \(=\):: Int → Int → Bool

1. \(+\) :: Int → Int → Int
2. \(-\) :: Int → Int →Int
3. \(\leq\) :: Int → Int → Bool
4. \(=\) :: Int → Int → Bool

would do -- but this is not entirely satisfactory.

For now description lists accept both "-" and "+".  I'm all for
allowing only "-" so that we could use 

+ \(+\) :: Int → Int → Int
+ \(-\) :: Int → Int →Int
+ \(\leq\) :: Int → Int → Bool
+ \(=\) :: Int → Int → Bool

in your example.

What do you and others think?

-- 
 Bastien



reply via email to

[Prev in Thread] Current Thread [Next in Thread]