[
Prev
] [
Up
] [
Next
]
Notation
We write specific phrases of the object language Haskell in
this
font and use
this
font for metavariables ranging over arbitrary phrases of the object language. For instance, Haskell function
ident
applied to an arbitrary
x
equals
x
.
[
Prev
] [
Up
] [
Next
]