[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
- [O] Escaping again!, Rustom Mody, 2014/05/30
- Re: [O] Escaping again!,
Bastien <=
- Re: [O] Escaping again!, Rustom Mody, 2014/05/30
- Re: [O] Escaping again!, Loyall, David, 2014/05/30
- Re: [O] Escaping again!, Bastien, 2014/05/30
- Re: [O] Escaping again!, Rustom Mody, 2014/05/30
- Re: [O] Escaping again!, Nick Dokos, 2014/05/30
- Re: [O] Escaping again!, Bastien, 2014/05/30