B
\skipx
= ( {tt, ff}, {¬, ∧, ∨} )
eval
B
\skipx
: T
Bool
→
B
\skipx
= {or → ∨, and → ∧, not → ¬}
N
\skipx
= ( \nat , {++ , + , ∗} )
eval
N
\skipx
: T
Nat
→
N
\skipx
= {S → ++ , mul → ∗, plus → +}
slide
:
Interpretations of
Bool
and
Nat