Update outline.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 30 Sep 2009 12:50:46 +0000 (14:50 +0200)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 30 Sep 2009 12:50:46 +0000 (14:50 +0200)
Outline

diff --git a/Outline b/Outline
index 38383b8..9866fd0 100644 (file)
--- 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,7 +34,7 @@ Normalization
        Rules used
        Completeness / conditions on input
        Termination
-       Casts
+       Casts / Strictness / Casebinders not fully supported
 
 Future work
        Boilerplate reduction (State distribution & pipelining)