diff options
-rw-r--r-- | provider/posts/events/01.lhs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/provider/posts/events/01.lhs b/provider/posts/events/01.lhs index 01e769e..32a6506 100644 --- a/provider/posts/events/01.lhs +++ b/provider/posts/events/01.lhs | |||
@@ -73,9 +73,9 @@ We are going to want to parse a specification of some kind into a form we can ru | |||
73 | Below we see one such form. | 73 | Below we see one such form. |
74 | 74 | ||
75 | `ListT`{.haskell} allows for nondeterministic computation – it allows us to split | 75 | `ListT`{.haskell} allows for nondeterministic computation – it allows us to split |
76 | our wordline[^worldlineSplits] and continue depth-first much like `[]`{.haskell}. | 76 | our worldline[^worldlineSplits] and continue depth-first much like `[]`{.haskell}. |
77 | 77 | ||
78 | Within every wordline we modify a distinct snapshot of `ObjCtx`{.haskell} we took | 78 | Within every worldline we modify a distinct snapshot of `ObjCtx`{.haskell} we took |
79 | while branching. | 79 | while branching. |
80 | 80 | ||
81 | We also share one `EvalCtx`{.haskell} across all worldlines. | 81 | We also share one `EvalCtx`{.haskell} across all worldlines. |
@@ -104,8 +104,8 @@ degenerate way[^degenerate]. | |||
104 | > { _ctxEvents = mempty | 104 | > { _ctxEvents = mempty |
105 | > } | 105 | > } |
106 | 106 | ||
107 | Every wordline constructs exactly one object while having access to a set | 107 | Every worldline constructs exactly one object while having access to a set |
108 | of declarations that can occur anywhere on the wordline[^ctxVars]. | 108 | of declarations that can occur anywhere on the worldline[^ctxVars]. |
109 | 109 | ||
110 | > data ObjCtx = ObjCtx | 110 | > data ObjCtx = ObjCtx |
111 | > { _objOccurs :: Bool | 111 | > { _objOccurs :: Bool |