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