[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: ideas for lambda syntax
- From: Elias Barrionovo <elias.tandel@...>
- Date: Fri, 12 Apr 2013 13:50:07 -0300
On Fri, Apr 12, 2013 at 1:38 PM, Hisham <h@hisham.hm> wrote:
> ∀ _, d ∊ pairs(dirs) ⊢
This is just awesome.
--
NI!