diff options
author | Gregor Kleen <gkleen@yggdrasil.li> | 2016-05-30 15:40:39 +0200 |
---|---|---|
committer | Gregor Kleen <gkleen@yggdrasil.li> | 2016-05-30 15:40:39 +0200 |
commit | 9cd9efc7bc2da10191e7a984bcdd907a824f0f0c (patch) | |
tree | 5cef1f59c39ed93949c4be8a3e0f8917a120d012 /provider/posts/events | |
parent | 036a70f140eb7a6f5457505ee0cdcc4c528793cf (diff) | |
download | dirty-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.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 |