Open klequis opened 2 years ago
if e1 then e2 else e3
Which is the same as
case e1 of True -> e2 False -> e3
Which is the same as