[m-rev.] trivial diff: fix spelling on website

Julien Fischer jfischer at opturion.com
Sat Dec 18 15:18:07 AEDT 2021


Fix spelling on website.

about/include/comaprison_with_haskell.inc:
about/include/related.inc:
     As above.

Julien.

diff --git a/about/include/comparison_with_haskell.inc b/about/include/comparison_with_haskell.inc
index b9a614e..a67de62 100644
--- a/about/include/comparison_with_haskell.inc
+++ b/about/include/comparison_with_haskell.inc
@@ -78,7 +78,7 @@ They differ in the following ways:
  		  Mercury doesn't.  In Mercury you can use variables
  		  with higher-order type and initialize them with
  		  lambda expressions, of course, but variables
-		  are always monorphically typed and functions
+		  are always monomorphically typed and functions
  		  defined using lambda expressions can't be recursive.</li>
  		</ul>
          </li>
@@ -131,7 +131,7 @@ They differ in the following ways:

  	<li> Mercury supports "ad-hoc" overloading (there can be more
  	  than one constructor, function or class method with the same
-	  name, and the compiler will determine which one each occurence
+	  name, and the compiler will determine which one each occurrence
  	  of that name refers to based on the types),
  	  Haskell 98 doesn't.
  	  (Of course if you make significant use of ad-hoc overloading,
@@ -186,7 +186,7 @@ They differ in the following ways:

  	<li> Mercury supports optional dynamic typing, Haskell 98 doesn't.
  	  (Hugs/ghc do.  However, their approach of implementing this
-	  is a bit cumbersome, since the user has to explictly declare
+	  is a bit cumbersome, since the user has to explicitly declare
  	  instances of <code>Typeable</code>, and its use of an unchecked
  	  cast would be problematic in the presence of untrusted code.)</li>

diff --git a/about/include/related.inc b/about/include/related.inc
index 045028d..e15cb63 100644
--- a/about/include/related.inc
+++ b/about/include/related.inc
@@ -10,7 +10,7 @@
  <li> <a href="http://svrc.it.uq.edu.au/Possum/">Possum</a>, an animator for Z
  specifications with a Tk GUI</li>
  <li> The <a href="http://www.missioncriticalit.com/odase.html">ODASE</a>
-	platform, a suite of tools writen in Mercury for developing business
+	platform, a suite of tools written in Mercury for developing business
  	applications using ontologies.  The platform has been used to deliver a
  	number of commercial projects.</li>
  <li> The <a href="http://www.princexml.com">Prince XML and HTML formatter.</a>


More information about the reviews mailing list