
From:  Rustom Mody 
Subject:  Re: [O] Escaping again! 
Date:  Fri, 30 May 2014 20:14:29 +0530 
Hi Rustom,
1. \(+\) :: Int → Int → Int
Rustom Mody <address@hidden> writes:
>  \(+\):: Int → Int → Int
>  \(\):: Int → Int →Int
>  \(\leq\):: Int → Int → Bool
>  \(=\):: Int → Int → Bool
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
in your example.
+ \(+\) :: Int → Int → Int
+ \(\) :: Int → Int →Int
+ \(\leq\) :: Int → Int → Bool
+ \(=\) :: Int → Int → Bool
What do you and others think?
[Prev in Thread]  Current Thread  [Next in Thread] 