From a1d2b6b1f48c63e6b1b3e86b931cd4be23004765 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Wed, 30 Sep 2009 14:50:46 +0200 Subject: [PATCH] Update outline. --- Outline | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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) -- 2.30.2