Updated todos.

todo.md

@@ -1,8 +1,14 @@
 TODOs
 =====
 
+*   Why Maybe Tag in ExternArray and ExternFun?
+
+*   Need Graph.hs in copilot-language?
+
 *   Replicate Interface.hs from the "old Copilot".
 
+*   Add regression test over Examples and/or QC backend.
+
 *   Comments, especially at the beginning of modules and on module exports.
 
 *   Make Copilot operator precedence match Haskell operator precedence.
@@ -20,15 +26,15 @@ TODOs
 *   Remove "error" from copilot-core, copilot-c99 (unimplemented array sampling,
     I think).
 
-BUGS
-====
+*   QuickCheck doesn't generate <, >, <=, etc. operators.  Also not currently
+    testing mod and div.  Generating external variable checks?
 
-*   Interpreting observers doesn't work.
+*   Change error "..." to something like impossible "...", saving errors for
+    really errors, like it's not implemented yet. :/
 
-*   QuickCheck doesn't generate <, >, <=, etc. operators.  Also not currently
-    testing mod and div.
 
-*   Interpreting returns "head of empty" error when the args to a trigger is non-empty.
+BUGS
+====
 
 *   RegExpExamples.hs (and possibly other monitors) use up all memory with the interpreter.
 

tutorial/copilot_tutorial.tex

@@ -738,7 +738,7 @@ \subsection{Compiling Copilot}
 \end{itemize}
 
 The file named ``copilot.h'' contains prototypes for all external variables, functions, and arrays,
-and contains a prototype for the ``step''-functions wich evaluates a single iteration.
+and contains a prototype for the ``step''-functions which evaluates a single iteration.
 
 \begin{code}
 /* Generated by Copilot Core v. 0.1 */
@@ -856,7 +856,7 @@ \subsection{Verification}
 \end{code}
 %
 \noindent
-This generates to sets of C sources, one compiled through the copilot-c99
+This generates two sets of C sources, one compiled through the copilot-c99
 backend and one through the copilot-sbv backend.  In addition, a driver (that is, a
 {\tt main} function) is generated that executes the code from each backend.  The
 driver has the following form: