diff --git a/TODO.md b/TODO.md
index 212fbd0..076ce21 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,5 +1,8 @@
 # TODO
 
+- Decide between lineair types / uniqueness vs garbage collector
+  - https://borretti.me/article/how-australs-linear-type-checker-works
+
 - Rename constant to literal
 
 - Implement a trace() builtin for debugging