From 3c47c804db616ad9f3d7e6b8cbe34aecbe8e1a40 Mon Sep 17 00:00:00 2001
From: Jay Sherby <10983817+hexpunk@users.noreply.github.com>
Date: Tue, 9 May 2023 22:39:13 -0500
Subject: Update Gentle_introduction_Inpla.md

Fix what I assume is a typo
---
 Gentle_introduction_Inpla.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Gentle_introduction_Inpla.md')

diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md
index 7d1ea8b..7f60942 100644
--- a/Gentle_introduction_Inpla.md
+++ b/Gentle_introduction_Inpla.md
@@ -85,7 +85,7 @@ A **connection** is a relation between two terms, that means the two term are co
   ```
 
 
-* **Connections between names** are evaluated as that ports corresponding to these names are connected mutually in interaction nets frameworks. However, in Inpla, these are evaluated as that, for the connections, the left-hand side name connects to the right-hand side name, thus only one way. For instance, `x~y` is evaluated that the `x` connects to the `x` (not that the `y` connects to `x`):
+* **Connections between names** are evaluated as that ports corresponding to these names are connected mutually in interaction nets frameworks. However, in Inpla, these are evaluated as that, for the connections, the left-hand side name connects to the right-hand side name, thus only one way. For instance, `x~y` is evaluated that the `x` connects to the `y` (not that the `y` connects to `x`):
 
   ```
   >>> x~y;
-- 
cgit v1.2.3