From: Matthijs Kooijman Date: Sat, 5 Dec 2009 20:52:02 +0000 (+0100) Subject: Remove a TODO. X-Git-Tag: final-thesis~91 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=012e0c8c3060033b9695b5d545e9d1182a527991;p=matthijs%2Fmaster-project%2Freport.git Remove a TODO. --- 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?)