Hi Rustom, Rustom Mody <rustompm...@gmail.com> 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
