21 Sep
2010
21 Sep
'10
4:51 p.m.
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)".
Sorry it wasn't clear in the paper: the language snippets in there aren't intended to be valid Haskell but to respect the BNF grammar given---it's idealized slightly. But yes, it could be a little confusing if using the paper as a language guide. Thanks for pointing that out, Thomas. Regards, Lee