[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