tru Term tru Abstract Abstract Variable fls Term fls Abstract Abstract

1
2
3
4
5
6
7
8
9
tru :: Term
tru = Abstract "t" (Abstract "f" (Variable "t"))
fls :: Term
fls = Abstract "t" (Abstract "f" (Variable "f"))
if' :: Term
if' = Abstract "condition" (Abstract "then" (Abstract "else" (
Application (Variable "condition") (Application (Variable "then") (Variable "else")))))