Closures: created stub page

Author: ahelwer

10-closures/wikipage.txt

@@ -1,7 +1,11 @@
-I wish we could say we're ready to modelcheck safety properties, but alas - one final missing piece remains.
+======= Parameters as Closures =======
+
 Remember way back at the start of the [[creating:operators|Functions, Operators, and Parameters]] chapter when operators were described as being like macros?
 This was very literal - the expressions provided as parameters to an operator should be substituted into the operator body itself, //then// evaluated.
 Instead, we evaluated the operator parameters first, //then// substituted the resulting values into the operator body.
-This didn't matter before implementing the prime operator, but 
+This didn't matter before implementing the prime operator, but
+
+TODO
+
+[[creating:safety|< Previous Page]] | [[creating:start#table_of_contents|Table of Contents]]
 
-[[creating:actions|< Previous Page]] | [[creating:start#table_of_contents|Table of Contents]] | [[creating:safety|Next Page >]]