From 9cd9efc7bc2da10191e7a984bcdd907a824f0f0c Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Mon, 30 May 2016 15:40:39 +0200 Subject: typos --- provider/posts/events/01.lhs | 8 ++++---- 1 file 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 Below we see one such form. `ListT`{.haskell} allows for nondeterministic computation – it allows us to split -our wordline[^worldlineSplits] and continue depth-first much like `[]`{.haskell}. +our worldline[^worldlineSplits] and continue depth-first much like `[]`{.haskell}. -Within every wordline we modify a distinct snapshot of `ObjCtx`{.haskell} we took +Within every worldline we modify a distinct snapshot of `ObjCtx`{.haskell} we took while branching. We also share one `EvalCtx`{.haskell} across all worldlines. @@ -104,8 +104,8 @@ degenerate way[^degenerate]. > { _ctxEvents = mempty > } -Every wordline constructs exactly one object while having access to a set -of declarations that can occur anywhere on the wordline[^ctxVars]. +Every worldline constructs exactly one object while having access to a set +of declarations that can occur anywhere on the worldline[^ctxVars]. > data ObjCtx = ObjCtx > { _objOccurs :: Bool -- cgit v1.2.3