Opcodes stores + loads and Pass-By-Reference Semantics

docs/control_structures.rst

@@ -296,17 +296,17 @@ Subroutines
 .. note::
     Subroutines are only available in TEAL version 4 or higher.
 
-A subroutine is section of code that can be called multiple times from within a program. Subroutines
-are PyTeal's equivalent to functions. Subroutines can accept any number of arguments, and these
-arguments must be PyTeal expressions. Additionally, a subroutine may return a single value, or no value.
+A subroutine is a section of code that can be called multiple times from within a program.
+Subroutines are PyTeal's equivalent to functions. Subroutines can accept any number of arguments which must be PyTeal expressions.
+Additionally, a subroutine may return a single value, or no value.
 
 Creating Subroutines
 --------------------
 
 To create a subroutine, apply the :any:`Subroutine` function decorator to a Python function which
-implements the subroutine. This decorator takes one argument, which is the return type of the subroutine.
-:any:`TealType.none` indicates that the subroutine does not return a value, and any other type
-(e.g. :any:`TealType.uint64` or :any:`TealType.bytes`) indicates the return type of the single value
+implements the subroutine. This decorator takes one argument -the return type of the subroutine.
+:any:`TealType.none` indicates that the subroutine does not return a value, and another type
+(e.g. :any:`TealType.uint64`, :any:`TealType.bytes`) indicates the return type of the single value
 the subroutine returns.
 
 For example,

docs/index.rst

@@ -10,10 +10,7 @@ PyTeal is a Python language binding for `Algorand Smart Contracts (ASC1s) <https
 
 Algorand Smart Contracts are implemented using a new language that is stack-based, 
 called `Transaction Execution Approval Language (TEAL) <https://developer.algorand.org/docs/teal>`_. 
-This a non-Turing complete language that allows branch forwards but prevents recursive logic 
-to maximize safety and performance. 
 
-However, TEAL is essentially an assembly language.
 With PyTeal, developers can express smart contract logic purely using Python. 
 PyTeal provides high level, functional programming style abstactions over TEAL
 and does type checking at construction time.