> ML has a formal definition[1]; why not Haskell? Would this be a Good Thing, > or a Waste Of Time? Not exactly what you are asking for, but a start: http://www.cs.kent.ac.uk/pubs/1992/123/index.html > gregg Tim Newsham http://www.thenewsh.com/~newsham/