fork download
  1. infixr 6 `then'`
  2. then' True = fst
  3. then' False = snd
  4. if' = id
  5. else' suc fail = (suc, fail)
  6. main = do
  7. print $ if' (1<5) `then'` "true" `else'` "false"
  8. print $ if' False `then'` "true" `else'` "false"
Success #stdin #stdout 0.01s 3588KB
stdin
Standard input is empty
stdout
"true"
"false"