Use \in instead of \at to refer to section numbers.

[matthijs/master-project/report.git] / Outline

diff --git a/Outline b/Outline
index 38383b8acb846b608489a58bee96ec9567081aa4..8b991c6bcd0eb3ffd85a9ef6fe797bee5d58ae44 100644 (file)
--- a/Outline
+++ b/Outline
@@ -14,7 +14,8 @@ Haskell as hardware
         Interpret: Polymorphism
         Interpret: Higher order
        Need: Dependent types
         Interpret: Polymorphism
         Interpret: Higher order
        Need: Dependent types

-       Impossible things: Infinite recursion, higher order expressions
+       Impossible things: Infinite recursion, higher order expressions,
+        recursive types.

 
 Prototype
         Choice of Haskell
 
 Prototype
         Choice of Haskell


@@ -33,12 +34,13 @@ Normalization
        Rules used
        Completeness / conditions on input
        Termination
        Rules used
        Completeness / conditions on input
        Termination

-       Casts
+       Casts / Strictness / Casebinders not fully supported

 
 Future work
        Boilerplate reduction (State distribution & pipelining)
        Recursion
 
 Future work
        Boilerplate reduction (State distribution & pipelining)
        Recursion

-       Multiple time domains (Events)
+        Multiple time domains (Events) -- Also, clock line optimization /
+                                       -- write enable

        Multiple cycle descriptions
         Higher order state
         New language
        Multiple cycle descriptions
         Higher order state
         New language