# Data.Bool.Extra

orTrueTrue : (x : Bool) -> x || Delay True = True
orSameNeutral : (x : Bool) -> x || Delay x = x
orSameAndRightNeutral : (x : Bool) -> (right : Bool) -> x || Delay (x && Delay right) = x
orFalseNeutral : (x : Bool) -> x || Delay False = x
andTrueNeutral : (x : Bool) -> x && Delay True = x
andSameNeutral : (x : Bool) -> x && Delay x = x
andFalseFalse : (x : Bool) -> x && Delay False = False