From 012e0c8c3060033b9695b5d545e9d1182a527991 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Sat, 5 Dec 2009 21:52:02 +0100 Subject: [PATCH] Remove a TODO. --- Outline | 1 - 1 file changed, 1 deletion(-) diff --git a/Outline b/Outline index 55d8b86..3f1b8fd 100644 --- a/Outline +++ b/Outline @@ -46,7 +46,6 @@ Future work TODO: Define user / developer TODO: Comiler vs translator TODO: Hardware description / model vs program -TODO: State & pattern matches TODO: Separate compilation / Prelude TODO: Add case binder removal transformation TODO: User-defined type classes (future work?) -- 2.30.2