From fe53d6a76ae9e93420eb4dc38d5dceefb505df1c Mon Sep 17 00:00:00 2001
From: PLR <51248199+plredmond@users.noreply.github.com>
Date: Fri, 8 Nov 2024 11:58:16 -0800
Subject: [PATCH 1/4] typo

---
 doc/language.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/language.md b/doc/language.md
index aa6ac87b..a97722d0 100644
--- a/doc/language.md
+++ b/doc/language.md
@@ -61,7 +61,7 @@ Every Ivy file begins with a line like the following:
 This tells Ivy what version of the language we are using. This is
 important because in successive version of the language, certain
 features may be changed or deprecated. Providing the language version
-allows old programs to keep working. They current version of the Ivy
+allows old programs to keep working. The current version of the Ivy
 language is 1.7. Changes between versions of the language are listed
 at the end of this document.
 

From 2f6c6323b8bc4d442e459faf1b72907e48f399f9 Mon Sep 17 00:00:00 2001
From: PLR <51248199+plredmond@users.noreply.github.com>
Date: Mon, 11 Nov 2024 13:43:38 -0800
Subject: [PATCH 2/4] correct the type of the local index value

---
 doc/examples/values.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/examples/values.md b/doc/examples/values.md
index b063f185..901451b5 100644
--- a/doc/examples/values.md
+++ b/doc/examples/values.md
@@ -91,7 +91,7 @@ Here is an example of a simple program that tabulates the function
     instance arr : array(t,t)
 
     action tabulate(max : t) returns (res:arr.t) {
-        local i:index {
+        local i:t {
             i := 0;
             res := arr.create(max,0);
             while i < max {

From dfdfe86024e77f5ba4fccc3168fc4582b05ae0ae Mon Sep 17 00:00:00 2001
From: PLR <51248199+plredmond@users.noreply.github.com>
Date: Fri, 22 Nov 2024 12:38:20 -0800
Subject: [PATCH 3/4] correct noun (sent should have been recv) in description
 of meaning of require statement

---
 doc/examples/specification.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/examples/specification.md b/doc/examples/specification.md
index 9963acbc..53fb7a6a 100644
--- a/doc/examples/specification.md
+++ b/doc/examples/specification.md
@@ -123,7 +123,7 @@ of `intf.send` and it can update the monitor state.  In addition, the
 monitor inserts an assertion before every call to `intf.recv`. This
 assertion is introduced with the `require` statement. This means that
 the calling environment of `inft.recv` must guarantee that the
-condition `sent(x)` holds before the call to `intf.send`. That is, the
+condition `sent(x)` holds before the call to `intf.recv`. That is, the
 received packet `x` must previously have been sent.
 
 In effect, our service specification describes a channel that can

From f34b779b1e956d7a43a6084212ae61d7cf77d72d Mon Sep 17 00:00:00 2001
From: PLR <51248199+plredmond@users.noreply.github.com>
Date: Wed, 4 Dec 2024 12:34:37 -0800
Subject: [PATCH 4/4] spacing

---
 ivy/include/1.8/collections.ivy | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ivy/include/1.8/collections.ivy b/ivy/include/1.8/collections.ivy
index 0a2c91ff..7c1d8345 100644
--- a/ivy/include/1.8/collections.ivy
+++ b/ivy/include/1.8/collections.ivy
@@ -98,11 +98,11 @@ module array(domain,range) = {
 	after create {
 	    assert end(a) = s & value(a,X) = y
 	}
-        before set {
+    before set {
 	    assert 0 <= x & x < end(a)
 	}	       	 
 	after set {
-            assert end(a) = end(old a);
+        assert end(a) = end(old a);
 	    assert value(a,X) = y if X = x else value(old a,X)
 	}
 	before get {