lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]


On Fri, Apr 12, 2013 at 1:38 PM, Hisham <h@hisham.hm> wrote:
>    ∀ _, d ∊ pairs(dirs) ⊢

This is just awesome.

-- 
NI!