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/ _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
