defn if c t e = {
case c of {
True -> { t }
False -> { e }
}
defn fact n = {
if (eq n 0) 1 (n * fact (n - 1))
defn main = { fact 6 }