+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 general design of the prototype (A frontend that desugares into a
+small, but functional and typed language, a transformation
+system that works on this small language, and a simple backend) has
+worked well and should probably be preserved. Especially the
+transformation based normalization system is suitable. It is easy to
+program 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 alltogether, 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.