I just bought a copy of Pattern Calculus [1] by Barry Jay and I would
like to discuss the lambda- and pattern-calculus with anyone who is
interested. Is there anyone else here who is reading the book and
would like to discuss here (if it is appropriate) or take the
discussion elsewhere? My knowledge of types has come primarily
through reading this Haskell Cafe list, so I am by no means an
expert. Just a tinkerer :)
Regards,
Duane Johnson
[1] http://lambda-the-ultimate.org/node/3695
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe