<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">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 :)<div><br></div><div>Regards,</div><div>Duane Johnson<br><div><br></div><div>[1] <a href="http://lambda-the-ultimate.org/node/3695">http://lambda-the-ultimate.org/node/3695</a></div></div></body></html>