diff options
Diffstat (limited to 'provider/posts')
| -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 |