either. To prevent the \VHDL\ generation from breaking on these
artifacts, this transformation removes them.
- \todo{Do not use old-style numerals in transformations}
\starttrans
letrec
a0 = E0
\section{Unsolved problems}
The above system of transformations has been implemented in the prototype
and seems to work well to compile simple and more complex examples of
- hardware descriptions. \todo{Ref christiaan?} However, this normalization
+ hardware descriptions \cite[baaij09]. However, this normalization
system has not seen enough review and work to be complete and work for
every Core expression that is supplied to it. A number of problems
have already been identified and are discussed in this section.