+It is expected that Cλash will be used as a tool in education at the
+University of Twente soon, hopefully this will provide a better insight
+in how the system performs.
+
+The prototype compiler has a clear design. Its frontend is taken from the \GHC\
+compiler and desugares Haskell into a small, but functional and typed
+language, called \emph{Core}. Cλash adds a transformation system that reduces
+this small language to a normal form and a simple backend that performs a
+direct translation to \VHDL. This approach has worked well and should probably
+be preserved. Especially the transformation based normalization system is
+suitable. It is easy to implement a transformation in the prototype, though it
+is not trivial to maintain enough overview to guarantee that the system is
+correct and complete. In fact, the current set of transformations is probably
+not complete yet, in particular when stateful descriptions are involved.
+However, the system can be (and has been) described in a mathematical sense,
+allowing us to reason about it and probably also prove various correctness
+properties in the future.
+
+The scope of this research has been limited to structural descriptions
+that are synchronous in a single clock domain using cycle accurate
+designs. Even though this is a broad spectrum already, it may turn out
+that this scope is too narrow for practical use of Cλash. Most people
+that hear about using a functional language for hardware description
+instantly hope to be able to provide a concise mathematical description
+of their algorithm and have the hardware generated for them. Since this
+is obviously a different problem altogether, we could not have hoped to
+even start solving it. However, hopefully the current Cλash system
+provides a solid base on top of which further experimentation with
+functional descriptions can be built.