9 lines
160 B
Plaintext
9 lines
160 B
Plaintext
|
data Bool = { True, False }
|
||
|
|
defn if c t e = {
|
||
|
|
case c of {
|
||
|
|
True -> { t }
|
||
|
|
False -> { e }
|
||
|
|
}
|
||
|
|
}
|
||
|
|
defn main = { if (if True False True) 11 3 }
|