[Haskell-cafe] Re: [fp-embedded] Which Haskell DSL for writing C?
(Was ANN: Copilot 0.22 -- A stream DSL for writing embedded C.)
thomas.dubuisson at gmail.com
Tue Sep 21 16:39:03 EDT 2010
> 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)".
More information about the Haskell-Cafe