X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Outline;h=8b991c6bcd0eb3ffd85a9ef6fe797bee5d58ae44;hp=0825321c66cf5b6bd53a1aa0a4c240cee33bf9c7;hb=3fc7078e3369d9e916b3663f04c51bb587434d14;hpb=06f9b8afcdca6cc6cd82af650666c9d1faf27b98

diff --git a/Outline b/Outline
index 0825321..8b991c6 100644
--- a/Outline
+++ b/Outline
@@ -14,7 +14,8 @@ Haskell as hardware
         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
@@ -33,11 +34,13 @@ Normalization
 	Rules used
 	Completeness / conditions on input
 	Termination
-	Casts
+	Casts / Strictness / Casebinders not fully supported
 
 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