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 | |
| 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')
| -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 |