summaryrefslogtreecommitdiff
path: root/provider/posts
diff options
context:
space:
mode:
Diffstat (limited to 'provider/posts')
-rw-r--r--provider/posts/events/01.lhs8
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
73Below we see one such form. 73Below 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
76our wordline[^worldlineSplits] and continue depth-first much like `[]`{.haskell}. 76our worldline[^worldlineSplits] and continue depth-first much like `[]`{.haskell}.
77 77
78Within every wordline we modify a distinct snapshot of `ObjCtx`{.haskell} we took 78Within every worldline we modify a distinct snapshot of `ObjCtx`{.haskell} we took
79while branching. 79while branching.
80 80
81We also share one `EvalCtx`{.haskell} across all worldlines. 81We 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
107Every wordline constructs exactly one object while having access to a set 107Every worldline constructs exactly one object while having access to a set
108of declarations that can occur anywhere on the wordline[^ctxVars]. 108of 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