From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Wed, 30 Sep 2009 12:50:46 +0000 (+0200)
Subject: Update outline.
X-Git-Tag: final-thesis~237
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=a1d2b6b1f48c63e6b1b3e86b931cd4be23004765;p=matthijs%2Fmaster-project%2Freport.git

Update outline.
---

diff --git a/Outline b/Outline
index 38383b8..9866fd0 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,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)