From a642e37b9ab7d9e6ec45c51c68b49c56e7c1a325 Mon Sep 17 00:00:00 2001
From: pca006132 <jl@m-labs.hk>
Date: Wed, 9 Jun 2021 09:45:05 +0800
Subject: [PATCH] Added #12

---
 README.md | 11 +++++++++++
 1 file changed, 11 insertions(+)

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...