diff options
| -rw-r--r-- | docs/users_guide/external_core.xml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/docs/users_guide/external_core.xml b/docs/users_guide/external_core.xml index faf7148f20..bc9d350d34 100644 --- a/docs/users_guide/external_core.xml +++ b/docs/users_guide/external_core.xml @@ -27,8 +27,7 @@ I am unsure of the proper DocBook elements. <para>Andrew Tolmach, Tim Chevalier ({apt,tjc}@cs.pdx.edu) and The GHC Team</para> - <abstract> - <para>This document provides a precise definition for the GHC Core + <para>This chapter provides a precise definition for the GHC Core language, so that it can be used to communicate between GHC and new stand-alone compilation tools such as back-ends or optimizers.<footnote> @@ -51,8 +50,6 @@ I am unsure of the proper DocBook elements. formally embody the static and dynamic semantics, are available separately.</para> - </abstract> - <section id="introduction"> <title>Introduction</title> |