2019-06-12 08:53:54 -07:00
|
|
|
data Bool = { True, False }
|
2019-06-04 17:12:24 -07:00
|
|
|
defn not b = {
|
|
|
|
|
case b of {
|
|
|
|
|
False -> { True }
|
|
|
|
|
True -> { False }
|
|
|
|
|
}
|
|
|
|
|
}
|
2019-06-12 08:53:54 -07:00
|
|
|
defn booli b = {
|
|
|
|
|
case b of {
|
|
|
|
|
False -> { 0 }
|
|
|
|
|
True -> { 1 }
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
defn main = { booli (not False) }
|
