This message announces a normal-order lambda-calculator integrated
with Haskell. The calculator implements what seems to be an efficient
and elegant algorithm of normal order reductions. The algorithm is
"more functional" than the traditionally used approach.
Nice integration with Haskell. In fact, you may argue that the LC evalutor is a DSL embedded in Haskell.
Posted to LC by Ehud Lamm on 5/18/02; 3:59:52 AM