More to do.

migamake · Oct 10, 2021 · 54be26e · 54be26e
1 parent cc4723a
commit 54be26e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/TODO.md b/TODO.md
@@ -19,6 +19,7 @@
 7. Post-tokenization stage to preprocess operators.
 [+] 8. Prepend `header-includes`. (And document them.)
 9. Split shorter README and documentation?
+10. alpha beta gamma etc. only in type variables
 
 Simplifications proposed:
 * no need for tableColumns, just total colspans