From c809ff207cfa9b7e95e10d4c1cd6e8aecc34f8d6 Mon Sep 17 00:00:00 2001
From: rschoene <rene.schoene@tu-dresden.de>
Date: Wed, 24 Nov 2021 09:56:24 +0100
Subject: [PATCH] Typos

---
 pages/docs/using.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pages/docs/using.md b/pages/docs/using.md
index 76e59f9..0118524 100644
--- a/pages/docs/using.md
+++ b/pages/docs/using.md
@@ -46,7 +46,7 @@ eq A.getB().input() = getInput();
 ```
 
 In other words, `OutputOnA` depends on `Input` of the same node, and `OutputOnB` depends on `Input` of its parent node.
-Currently, those dependencies have can be explicitly written down, or incremental evaluation can be used.
+Currently, those dependencies can be explicitly written down, or incremental evaluation can be used.
 
 ### Dependency tracking: Manually specified
 
@@ -61,7 +61,7 @@ B.OutputOnB canDependOn A.Input as dependencyB ;
 ### Dependency tracking: Automatically derived
 
 To automatically track dependencies, the two additional parameters `--incremental` and `--trace=flush` have to be provided to both RagConnect and (in the later stage) JastAdd.
-This will generate different implementation of RagConnect relying on enabled incremental evaluation of JastAdd.
+This will generate a different implementation of RagConnect relying on enabled incremental evaluation of JastAdd.
 The value for `incremental` has only been tested for `incremental=param`.
 The value for `trace` can include other values besides `flush`.
 
@@ -204,7 +204,7 @@ A message for a list endpoint can also be interpreted as an element of this list
 receive tree ReceiverRoot.Alfa ;
 ```
 
-Upon connection, the index to set the deserialized element to set, has to be given (`1` in the example below).
+Upon connection, the index of the deserialized element to set, has to be passed (`1` in the example below).
 The list must have enough elements once a message is received.
 
 ```java
-- 
GitLab