Remove a TODO.

diff --git a/Outline b/Outline
index 55d8b86c722579355ed94361f24b253452948d19..3f1b8fd7b3ff13730e983bce48cd499bac2fa5c9 100644 (file)
--- 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?)