On Mon, 31 Mar 2014, Fab HK wrote:

and furthermore (and somewhat uglier)
LHS || RHS   -> if !(LHS) then RHS

This works currently:

if LHS else RHS end

Aditya

Reply via email to