Update TODO

JonathanBrouwer · Aug 10, 2024 · d46e95d · d46e95d
1 parent e3bfb06
commit d46e95d
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/TODO.md b/TODO.md
@@ -13,4 +13,8 @@ THE BIG TODO LIST:
 - Multi-file support
   - Make `program` part of self in TcEnv
 - Add type checking to grammar adaptation
-- Use a smarter data structure than a HashMap for caching
+- Use a smarter data structure than a HashMap for caching
+- Multi-file support
+  - Make statement a parametric rules
+  - Grammars can be stored in `let` statement and returned from programs
+    - How do manage this arena-wise?