Add pretty boxes around various typing environments.

[matthijs/master-project/report.git] / Outline

diff --git a/Outline b/Outline
index 0825321c66cf5b6bd53a1aa0a4c240cee33bf9c7..38383b8acb846b608489a58bee96ec9567081aa4 100644 (file)
--- a/Outline
+++ b/Outline
@@ -41,3 +41,4 @@ Future work
        Multiple time domains (Events)
        Multiple cycle descriptions
         Higher order state
+        New language