Programming Languages in Haskell
Support for EECS 662 at KU
Index
Blog
More Derived Forms
letrec as a Derived Form
l
e
t
r
e
c
x
:
T
=
t
1
i
n
t
2
==
b
i
n
d
x
=
f
i
x
(
λ
x
:
T
i
n
t
1
)
i
n
t
2
Verification and Testing
Discussion
Definitions
Exercises