15 lines
239 B
Plaintext
15 lines
239 B
Plaintext
data Bool = { True, False }
|
|
defn not b = {
|
|
case b of {
|
|
False -> { True }
|
|
True -> { False }
|
|
}
|
|
}
|
|
defn booli b = {
|
|
case b of {
|
|
False -> { 0 }
|
|
True -> { 1 }
|
|
}
|
|
}
|
|
defn main = { booli (not False) }
|