Wrote introduction of purpose.tex.

docs/proposal.tex

@@ -18,11 +18,19 @@
 
 \section{Introduction}
 
-TODO
-
-TODO
-
-TODO
+This project comprises the design and production of a web application that can
+assist high school students in learning how to apply mathematical term
+reductions. The basic idea is that the student can work on an assignment using
+an online text editor. The text entered in the editor is converted to a
+mathematical notation and displayed on the screen in real-time. If the student
+gets stuck while rewriting a mathematical formula, he or she can request a
+'hint' from the system. The system should recognize the best reduction to
+apply at that time, and push the student in the right direction by displaying
+a textual hint that tells the user what sort of reduction can be applied. The
+system should also be able to apply that reduction itself.
+
+This document lists the different sections in which the project can be
+divided, along with their expected gradations.
 
 \section{Purpose}
 
@@ -109,7 +117,7 @@ TODO
     \item Write the final report (e.g. evaluation of the project).
 \end{itemize}
 
-\section{European credits}
+\section{European Credits}
 
 \begin{tabular}{rl}
 \toprule