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
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