> The best reference for Copilot's constraints is this paper: > <http://www.cs.indiana.edu/~lepike/pub_pages/rv2010.html>.
Non-Haskell programmers should note that paper has a few typos (Lee, please correct me if I'm mistaken). Section 4.1 is where I'm at so far and I see missing backticks (shoulld be `implies`) and missing parenthesis in "drop 2 (var temps)". Cheers, Thomas _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe