From ef2dc572a6237b3ceb56655818550b8384e6b743 Mon Sep 17 00:00:00 2001 From: Alex Abushanab <38299309+lexabu@users.noreply.github.com> Date: Thu, 31 Mar 2022 19:29:25 -0500 Subject: [PATCH] Update grammar on documentation --- documentation/include/documentation.inc | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/documentation/include/documentation.inc b/documentation/include/documentation.inc index 3baa517..6cb53d8 100644 --- a/documentation/include/documentation.inc +++ b/documentation/include/documentation.inc @@ -45,7 +45,7 @@ of the entire document, links to PDF versions are provided.

Mercury Language Reference Manual

Information on the Mercury programming language itself, including syntax, types and modes, determinism, - the module system, foreign language interface and higher-order + the module system, foreign language interface, and higher-order programming. @@ -85,7 +85,7 @@ of the entire document, links to PDF versions are provided.
  • Mercury Library Reference Manual

    Descriptions of the interfaces to the library - which comes with the Mercury distribution. + which come with the Mercury distribution.
  • @@ -103,9 +103,9 @@ of the entire document, links to PDF versions are provided.
  • Prolog to Mercury Transition Guide

    - Information to assist programmers to move Prolog - programs to Mercury. Includes information on differences in - the languages and common programming styles. + Information to assist programmers in moving Prolog + programs to Mercury, differences in + the languages, and common programming styles.