diff --git a/README.md b/README.md
index 8f3c69f..a5a5ace 100644
--- a/README.md
+++ b/README.md
@@ -157,6 +157,17 @@ class Foo(EnvExperiment):
 * Type variable cannot occur alone in the result type, i.e. must be bound to the
   input parameters.
 
+## For loop unrolling (#12)
+A pseudocomment can be used for unrolling for loops that iterates a fixed amount
+of time. This can be used for iterating over inhomogeneous tuples. Example:
+
+```python
+params = (1, 1.5, "foo")
+# nac3:unroll
+for p in params:
+    print(p)
+```
+
 ## Lifetime
 Probably need more discussions...