summaryrefslogtreecommitdiff
path: root/provider/posts/events
diff options
context:
space:
mode:
authorGregor Kleen <gkleen@yggdrasil.li>2016-05-30 15:40:39 +0200
committerGregor Kleen <gkleen@yggdrasil.li>2016-05-30 15:40:39 +0200
commit9cd9efc7bc2da10191e7a984bcdd907a824f0f0c (patch)
tree5cef1f59c39ed93949c4be8a3e0f8917a120d012 /provider/posts/events
parent036a70f140eb7a6f5457505ee0cdcc4c528793cf (diff)
downloaddirty-haskell.org-9cd9efc7bc2da10191e7a984bcdd907a824f0f0c.tar
dirty-haskell.org-9cd9efc7bc2da10191e7a984bcdd907a824f0f0c.tar.gz
dirty-haskell.org-9cd9efc7bc2da10191e7a984bcdd907a824f0f0c.tar.bz2
dirty-haskell.org-9cd9efc7bc2da10191e7a984bcdd907a824f0f0c.tar.xz
dirty-haskell.org-9cd9efc7bc2da10191e7a984bcdd907a824f0f0c.zip
typos
Diffstat (limited to 'provider/posts/events')
-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