From 76c5b6aa2175511535a38b4de7a1f1dd7ac338e3 Mon Sep 17 00:00:00 2001 From: Rob Simmons Date: Mon, 6 May 2024 16:51:57 -0400 Subject: [PATCH] Typo fix by Sully --- docs/src/content/docs/docs/introductions/graph.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/content/docs/docs/introductions/graph.md b/docs/src/content/docs/docs/introductions/graph.md index 70f0124..ccb582c 100644 --- a/docs/src/content/docs/docs/introductions/graph.md +++ b/docs/src/content/docs/docs/introductions/graph.md @@ -46,7 +46,7 @@ As an if-then statement, we could write "for all `X` and `Y`, if `edge X Y` then edge Y X :- edge X Y. -Note that this if-thin statement is written backwards from how it's written in English: +Note that this if-then statement is written backwards from how it's written in English: the "then" part, the **conclusion** is written first, followed by the `:-` symbol. After the `:-` symbol is **premises**. (There can be more than one premise. If there aren't any premises we're just defining a fact, so we don't write the `:-` symbol at