Hi Rustom,
1. \(+\) :: Int → Int → Int
Rustom Mody <rustompmody@gmail.com> 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?