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